@inproceedings{b7055fe7a08949d0a8574b37499451e3,
title = "Datenflussanalyse als Modelchecking im jABC",
author = "Lamprecht, {Anna Lena} and Tiziana Margaria and Bernhard Steffen",
year = "2006",
language = "German",
series = "Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)",
publisher = "Gesellschaft fur Informatik (GI)",
pages = "125--130",
editor = "Bettina Biel and Matthias Book and Volker Gruhn",
booktitle = "Software Engineering 2006 - Fachtagung des GI-Fachbereichs Softwaretechnik",
note = "2006 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2006 - 2006 Conference of the GI Division on Software Engineering, Software Engineering 2006 ; Conference date: 28-03-2006 Through 31-03-2006",
}