e CIG: Conference Papers


Conference Papers

Autor:Behrens, Tristan and Dix, Jürgen
Bearbeiter:M. Hanus and D. Seipel
Titel:LTL Model Checking with Logic Based Petri Nets
Buchtitel:Proceedings of WLP '07
Ausgabe:434
Jahr:2007
Seiten:173-182
Serie:Technical Report
Herausgeber:University of Würzburg
BibTeX-Code:
@inproceedings{dixbeh07wlp,
author={Behrens, Tristan and Dix, Jürgen},
editor={M. Hanus and D. Seipel},
title={LTL Model Checking with Logic Based Petri Nets},
booktitle={Proceedings of WLP '07},
volume={434},
year={2007},
pages={173-182},
series={Technical Report},
publisher={University of Würzburg},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019