Sciweavers

22698 search results - page 14 / 4540
» Modeling in Software Engineering
Sort
View
141
Voted
AMAST
2004
Springer
16 years 1 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre
166
Voted
FASE
2004
Springer
16 years 1 months ago
Optimising Communication Structure for Model Checking
Peter Saffrey, Muffy Calder