%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 }