%0 Conference Paper %1 conf/formats/LubatDBPS19 %A Lubat, Éric %A Dal-Zilio, Silvano %A Botlan, Didier Le %A Pencolé, Yannick %A Subias, Audine %B FORMATS %D 2019 %E André, Étienne %E Stoelinga, Mariëlle %I Springer %K dblp %P 79-95 %T A State Class Construction for Computing the Intersection of Time Petri Nets Languages. %U http://dblp.uni-trier.de/db/conf/formats/formats2019.html#LubatDBPS19 %V 11750 %@ 978-3-030-29662-9

@inproceedings{conf/formats/LubatDBPS19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lubat, Éric and Dal-Zilio, Silvano and Botlan, Didier Le and Pencolé, Yannick and Subias, Audine}, biburl = {https://www.bibsonomy.org/bibtex/21ad8030b7d089f1587d023147d79d92e/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2019}, editor = {André, Étienne and Stoelinga, Mariëlle}, ee = {https://doi.org/10.1007/978-3-030-29662-9_5}, interhash = {e14a40375500589b378f3c3e99babc23}, intrahash = {1ad8030b7d089f1587d023147d79d92e}, isbn = {978-3-030-29662-9}, keywords = {dblp}, pages = {79-95}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:35:28.000+0200}, title = {A State Class Construction for Computing the Intersection of Time Petri Nets Languages.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2019.html#LubatDBPS19}, volume = 11750, year = 2019 }