Search Sciweavers | Sciweavers

20126 search results - page 59 / 4026

» Timed Transition Systems

146

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 25 days ago

Download tfs.cs.tu-berlin.de

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

claim paper

Read More »

133

click to vote

TAMC
2007
Springer

101views Applied Computing» more TAMC 2007»

Phase Transition of Multivariate Polynomial Systems

16 years 23 days ago

Download www.cs.sunysb.edu

Giordano Fusco, Eric Bach

claim paper

Read More »

120

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

16 years 7 days ago

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

114

click to vote

CONCUR
2005
Springer

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

A Behavioural Pseudometric for Metric Labelled Transition Systems

16 years 6 days ago

Download www.cse.yorku.ca

Franck van Breugel

claim paper

Read More »

130

click to vote

LPAR
2004
Springer

96views Automated Reasoning» more LPAR 2004»

Reasoning About Systems with Transition Fairness

16 years 18 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers