Sciweavers

10669 search results - page 41 / 2134
» Software - Implemented Self-healing System
Sort
View
TACS
2001
Springer
14 years 4 days ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...