Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/forte/KlaiPR07
%A Klai, Kais
%A Petrucci, Laure
%A Reniers, Michel A.
%B FORTE
%D 2007
%E Derrick, John
%E Vain, Jüri
%I Springer
%K dblp
%P 280-295
%T An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.
%U http://dblp.uni-trier.de/db/conf/forte/forte2007.html#KlaiPR07
%V 4574
%@ 978-3-540-73195-5
@inproceedings{conf/forte/KlaiPR07,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Klai, Kais and Petrucci, Laure and Reniers, Michel A.},
biburl = {https://www.bibsonomy.org/bibtex/28159c591c755311acd1790d44bbcaf22/dblp},
booktitle = {FORTE},
crossref = {conf/forte/2007},
editor = {Derrick, John and Vain, Jüri},
ee = {https://doi.org/10.1007/978-3-540-73196-2_18},
interhash = {9c1140575cd21dd775638fcab784ef26},
intrahash = {8159c591c755311acd1790d44bbcaf22},
isbn = {978-3-540-73195-5},
keywords = {dblp},
pages = {280-295},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T11:59:24.000+0200},
title = {An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.},
url = {http://dblp.uni-trier.de/db/conf/forte/forte2007.html#KlaiPR07},
volume = 4574,
year = 2007
}