Sciweavers

31387 search results - page 315 / 6278
» Abstracts
Sort
View
DEDS
2007
62views more  DEDS 2007»
15 years 7 months ago
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux, ...
JUCS
2008
148views more  JUCS 2008»
15 years 7 months ago
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...