Sciweavers

19587 search results - page 13 / 3918
» Systems Engineering for software Engineers
Sort
View
97
Voted
AMAST
2004
Springer
15 years 9 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre