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
110
Voted
FLAIRS
2004
15 years 5 months ago
Using Analytic CLP to Model and Analyze Hybrid Systems
Timothy J. Hickey, David K. Wittenberg