Datenflussanalyse als Modelchecking im jABC

Translated title of the contribution: Data flow analysis as model checking within the jABC

Anna Lena Lamprecht, Tiziana Margaria, Bernhard Steffen

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

Translated title of the contributionData flow analysis as model checking within the jABC
Original languageGerman
Title of host publicationSoftware Engineering 2006 - Fachtagung des GI-Fachbereichs Softwaretechnik
EditorsBettina Biel, Matthias Book, Volker Gruhn
PublisherGesellschaft fur Informatik (GI)
Pages125-130
Number of pages6
ISBN (Electronic)3885791730
Publication statusPublished - 2006
Externally publishedYes
Event2006 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2006 - 2006 Conference of the GI Division on Software Engineering, Software Engineering 2006 - Leipzig, Germany
Duration: 28 Mar 200631 Mar 2006

Publication series

NameLecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
VolumeP-79
ISSN (Print)1617-5468

Conference

Conference2006 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2006 - 2006 Conference of the GI Division on Software Engineering, Software Engineering 2006
Country/TerritoryGermany
CityLeipzig
Period28/03/0631/03/06

Cite this