1. TACAS 1995: Aarhus, Denmark

Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019 Springer 1995, ISBN 3-540-60630-0 BibTeX

@proceedings{DBLP:conf/tacas/1995,
  editor    = {Ed Brinksma and
               Rance Cleaveland and
               Kim Guldstrand Larsen and
               Tiziana Margaria and
               Bernhard Steffen},
  title     = {Tools and Algorithms for Construction and Analysis of Systems,
               First International Workshop, TACAS '95, Aarhus, Denmark, May
               19-20, 1995, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1019},
  year      = {1995},
  isbn      = {3-540-60630-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Olaf Müller, Tobias Nipkow: Combining Model Checking and Deduction for I/O-Automata. 1-16 BibTeX
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: A Constraint Oriented Proof Methodology Based on Modal Transition Systems. 17-40 BibTeX
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: A User Guide to HyTech. 41-71 BibTeX
Angelika Mader: Modal µ-Calculus, Model Checking and Gauß Elimination. 72-88 BibTeX
Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm: Mona: Monadic Second-Order Logic in Practice. 89-110 BibTeX
Uffe Engberg, Kim S. Larsen: Efficient Simplification of Bisimulation Formulas. 111-132 BibTeX
A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood: Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock. 133-152 BibTeX
Rance Cleaveland, Eric Madelaine, Steve Sims: A Front-End Generator for Verification Tools. 153-173 BibTeX
Chris M. N. Tofts: Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. 174-194 BibTeX
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. 195-215 BibTeX
Jürgen Bohn, Stephan Rössig: On Automatic and Interactive Design of Communication Systems. 216-237 BibTeX
Wil Janssen: Layers as Knowledge Transitions in the Design of Distributed Systems. 238-263 BibTeX
Jens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Bitvector Analyses -> No State Explosion! 264-289 BibTeX