e CIG: Technical Reports


Technical Reports

Author:Behrens, Tristan M. and Dix, Jürgen
Title:Model Checking with Logic Based Petri Nets
Year:2007
Number:IfI-07-02
Url:http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi0702behrens.pdf
Institution:Clausthal University of Technology
BibTeX-Code:
@techreport{ifi0702behrens,
author={Behrens, Tristan M. and Dix, Jürgen},
title={Model Checking with Logic Based Petri Nets},
year={2007},
url={http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi0702behrens.pdf},
number={IfI-07-02},
institution={Clausthal University of Technology},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019