0 | -- | 0 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr. Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness |
0 | -- | 0 | Pascal Tesson, Denis Thérien. Logic Meets Algebra: the Case of Regular Languages |
0 | -- | 0 | Manuel Bodirsky. Cores of Countably Categorical Structures |
0 | -- | 0 | Corina S. Pasareanu, Radek Pelánek, Willem Visser. Predicate Abstraction with Under-Approximation Refinement |
0 | -- | 0 | Norman Danner, James S. Royer. Adventures in time and space |
0 | -- | 0 | Joël Ouaknine, James Worrell. On the decidability and complexity of Metric Temporal Logic over finite words |
0 | -- | 0 | Jörg Hoffmann, Carla P. Gomes, Bart Selman. Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning |
0 | -- | 0 | Véronique Bruyère, Jean-François Raskin. Real-Time Model-Checking: Parameters everywhere |
0 | -- | 0 | Yoram Hirshfeld, Alexander Rabinovich. Expressiveness of Metric modalities for continuous time |