The ETI online service in action

Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings
EditorsW. Rance Cleaveland
PublisherSpringer Verlag
Pages439-443
Number of pages5
ISBN (Print)3540657037, 9783540657033
DOIs
Publication statusPublished - 1999
Externally publishedYes
Event5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 - Amsterdam, Netherlands
Duration: 22 Mar 199928 Mar 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1579
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999
Country/TerritoryNetherlands
CityAmsterdam
Period22/03/9928/03/99

Cite this