@inproceedings{4f47ac9f2cbd4961aa8246b51b9033d2,
title = "The ETI online service in action",
author = "Volker Braun and J{\"u}rgen Kreileder and Tiziana Margaria and Bernhard Steffen",
year = "1999",
doi = "10.1007/3-540-49059-0_31",
language = "English",
isbn = "3540657037",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "439--443",
editor = "{Rance Cleaveland}, W.",
booktitle = "Tools 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",
note = "5th 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 ; Conference date: 22-03-1999 Through 28-03-1999",
}