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