High-Level Koutny Net, pages 157-159

Authors: G. Ciobanu

Abstract | BibTeX | Full Text (PDF)

Pattern Matching in Link Streams: Timed-Automata with Finite Memory, pages 161-198

Authors: C. Bertrand, F. Peschanski, H. Klaudel, M. Latapy

Abstract | References | BibTeX | Full Text (PDF)

Simultaneous Petri Net Synthesis, pages 199–236

Authors: E. Best, R. Devillers, U. Schlachter, H. Wimmel

Abstract | References | BibTeX | Full Text (PDF)

A Precise Characterisation of Step Traces and Their Concurrent Histories, pages 237-267

Authors: R. Janicki, J. Kleijn, L. Mikulski

Abstract | References | BibTeX | Full Text (PDF)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME, pages 269–288

Authors: A. Niewiadomski, P. Switalski, T. Sidoruk, W. Penczek

Abstract | References | BibTeX | Full Text (PDF)

Fault-Free Refinements for Interface Automata, pages 289–337

Authors: A. Schinko, W. Vogler

Abstract | References | BibTeX | Full Text (PDF)