Sciweavers

7209 search results - page 37 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
86
Voted
AMAST
2004
Springer
15 years 8 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre
PSSE
2004
Springer
15 years 8 months ago
Real-Time and Fault-Tolerant Systems
Zhiming Liu, Mathai Joseph