Sciweavers

8760 search results - page 45 / 1752
» Modeling users of intelligent systems
Sort
View
LFCS
1994
Springer
15 years 8 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen