A list without abstracts sorted by year - 2002
Distributed Explicit Fair Cycle Detection: Set Based Approach
Using Assumptions to Distribute CTL Model Checking
Improvements in a Dialogue Interface for Library System
by Luděk Bártek, October 2002, 6 pages.
Trustworthiness of Signed Data
by Petr ©véda, September 2002, 13 pages.
Proceedings of Tools Day
by Ivana Černá, August 2002, 105 pages.
Pre-Proceedings of INFINITY 2002
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
Why is Simulation Harder Than Bisimulation?
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
Please install a newer browser for this site to function properly.