e CIG: Conference Papers


Conference Papers

Autor:Behrens, Tristan and Dix, Jürgen
Bearbeiter:F. Sadri and K. Satoh
Titel:Model Checking with Logic Based Petri Nets
Buchtitel:Pre-Proceedings of CLIMA '07
Jahr:2007
Seiten:6-21
Herausgeber:Univesidade Do Porto
BibTeX-Code:
@inproceedings{dixbeh07petri,
author={Behrens, Tristan and Dix, Jürgen},
editor={F. Sadri and K. Satoh},
title={Model Checking with Logic Based Petri Nets},
booktitle={Pre-Proceedings of CLIMA '07},
year={2007},
pages={6-21},
publisher={Univesidade Do Porto},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019