EPTCS 39 - INFINITY 2010
Yu-Fang Chen, Ahmed Rezine (Eds.): Proceedings 12th International Workshop on Verification of Infinite-State Systems. 2010 EPTCS 39 [ contents ]- Stéphane Demri: On Selective Unboundedness of VASS. ... 1-15
- Hanifa Boucheneb, Kamel Barkaoui: On interleaving in {P,A}-Time Petri nets with strong semantics. ... 17-31
- Oded Maler, Kim G. Larsen, Bruce H. Krogh: On Zone-Based Analysis of Duration Probabilistic Automata. ... 33-46
- Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers: A Decidable Characterization of a Graphical Pi-calculus with Iterators. ... 47-61
- Étienne André: IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata. ... 91-99
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team