Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
2 |
| |||||||
2 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
3 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
6 |
| |||||||
2 |
| |||||||
2 |
| |||||||
5 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
5 |
| |||||||
2002 | An Algebraic Framework for Abstract Model Checking In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169 | Proceedings Article | ||||||
2001 | Accurate Widenings and Boundedness Properties of Timed Systems In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94 | Proceedings Article | ||||||
2001 | Constraint Database Models Characterizing Timed Bisimilarity In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258 | Proceedings Article |