Sciweavers

7209 search results - page 41 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
TACS
2001
Springer
15 years 3 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...