Sciweavers

7202 search results - page 24 / 1441
» Software System Engineering: A Tutorial
Sort
View
80
Voted
AMAST
2004
Springer
15 years 7 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre