%0 Conference Paper %1 conf/apn/RouxL04 %A Roux, Olivier H. %A Lime, Didier %B ICATPN %D 2004 %E Cortadella, Jordi %E Reisig, Wolfgang %I Springer %K dblp %P 371-390 %T Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. %U http://dblp.uni-trier.de/db/conf/apn/icatpn2004.html#RouxL04 %V 3099 %@ 3-540-22236-7

@inproceedings{conf/apn/RouxL04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Roux, Olivier H. and Lime, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2a363d541262a4f01e8bc14dc28cdddc3/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/2004}, editor = {Cortadella, Jordi and Reisig, Wolfgang}, ee = {https://doi.org/10.1007/978-3-540-27793-4_21}, interhash = {2da875d673eb915e1d9e60800b9db4c0}, intrahash = {a363d541262a4f01e8bc14dc28cdddc3}, isbn = {3-540-22236-7}, keywords = {dblp}, pages = {371-390}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:50.000+0200}, title = {Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn2004.html#RouxL04}, volume = 3099, year = 2004 }