Sciweavers

15401 search results - page 91 / 3081
» Software in Automotive Systems
Sort
View
TACS
2001
Springer
15 years 6 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...