Sciweavers

9697 search results - page 157 / 1940
» Intelligent Transportation Systems
Sort
View
LFCS
1994
Springer
15 years 9 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen
JELIA
1990
Springer
15 years 9 months ago
Systems for Knowledge and Beliefs
Wiebe van der Hoek