Search Sciweavers | Sciweavers

20126 search results - page 59 / 4026

» Timed Transition Systems

139

click to vote

APN
2007
Springer

82views Artificial Intelligence» more APN 2007»

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

16 years 10 days ago

Download tfs.cs.tu-berlin.de

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ul...

claim paper

Read More »

128

click to vote

TAMC
2007
Springer

101views Applied Computing» more TAMC 2007»

Phase Transition of Multivariate Polynomial Systems

16 years 8 days ago

Download www.cs.sunysb.edu

Giordano Fusco, Eric Bach

claim paper

Read More »

111

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

15 years 11 months ago

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

108

click to vote

CONCUR
2005
Springer

82views Distributed And Parallel Com...» more CONCUR 2005»

A Behavioural Pseudometric for Metric Labelled Transition Systems

15 years 11 months ago

Download www.cse.yorku.ca

Franck van Breugel

claim paper

Read More »

120

click to vote

LPAR
2004
Springer

96views Automated Reasoning» more LPAR 2004»

Reasoning About Systems with Transition Fairness

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers