default search action

combined dblp search
author search
venue search
publication search

ask others

1st TACAS 1995: Aarhus, Denmark

> Home > Conferences and Workshops > TACAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/1995
Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
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
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/MullerN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MullerN95
Olaf Müller, Tobias Nipkow:
Combining Model Checking and Deduction for I/O-Automata. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/LarsenSW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LarsenSW95
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. 17-40
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenzingerHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenzingerHW95
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
A User Guide to HyTech. 41-71
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Mader95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Mader95
Angelika Mader:
Modal µ-Calculus, Model Checking and Gauß Elimination. 72-88
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenriksenJJKPRS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenriksenJJKPRS95
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
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/EngbergL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EngbergL95
Uffe Engberg, Kim S. Larsen:
Efficient Simplification of Bisimulation Formulas. 111-132
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/RoscoeGGHJS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RoscoeGGHJS95
A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood:
Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock. 133-152
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CleavelandMS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CleavelandMS95
Rance Cleaveland, Eric Madelaine, Steve Sims:
A Front-End Generator for Verification Tools. 153-173
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Tofts95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Tofts95
Chris M. N. Tofts:
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. 174-194
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FrancescoFGI95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FrancescoFGI95
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Model Checking of Non-Finite State Processes by Finite Approximations. 195-215
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BohnR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BohnR95
Jürgen Bohn, Stephan Rössig:
On Automatic and Interactive Design of Communication Systems. 216-237
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Janssen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Janssen95
Wil Janssen:
Layers as Knowledge Transitions in the Design of Distributed Systems. 238-263
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KnoopSV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KnoopSV95
Jens Knoop, Bernhard Steffen, Jürgen Vollmer:
Parallelism for Free: Bitvector Analyses -> No State Explosion! 264-289

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.