Research output per year
Research output per year
Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | English |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
Subtitle of host publication | 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings |
Editors | Kurt Jensen, Andreas Podelski |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 61-76 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-540-24730-2 |
ISBN (Print) | 978-3-540-21299-7 |
DOIs | |
Publication status | Published - 2004 |
Event | 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004 - Barcelona, Spain Duration: 29 Mar 2004 → 2 Apr 2004 Conference number: 10 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 2988 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004 |
---|---|
Abbreviated title | TACAS |
Country/Territory | Spain |
City | Barcelona |
Period | 29/03/04 → 2/04/04 |
Research output: Contribution to journal › Article › Academic › peer-review