Search results for: Aletta Nylen
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 53-70
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 343-362
Formal Methods in System Design > 2004 > 24 > 1 > 25-43