Sciweavers

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