Sciweavers

7209 search results - page 41 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
93
Voted
CSEE
2001
Springer
15 years 7 months ago
Systems Failures: An Approach to Building a Coping Strategy
John Donaldson, John Jenkins
TACS
2001
Springer
15 years 7 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...