CONCUR 2003 - Concurrency Theory
From MaRDI portal
Publication:5900570
DOI10.1007/b11938zbMath1274.68197MaRDI QIDQ5900570
Nicolas Markey, Philippe Schnoebelen
Publication date: 30 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11938
Related Items
Unnamed Item, Model-checking hierarchical structures, Combining test case generation and runtime verification, Robustness of temporal logic specifications for continuous-time signals, The ins and outs of first-order runtime verification, On the complexity of partial order trace model checking, Model checking memoryful linear-time logics over one-counter automata, Mu-calculus path checking, Imperfect information in reactive modules games, Sampling polynomial trajectories for LTL verification, Multi-player games with LDL goals over finite traces, Natural strategic ability, Incremental reasoning in probabilistic signal temporal logic, A parametric analysis of the state-explosion problem in model checking, \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\), Model checking restricted sets of timed paths, Weak Kripke Structures and LTL