%0 Conference Paper %1 conf/cpaior/BourdeaudhuyHY04 %A Bourdeaud'huy, Thomas %A Hanafi, Saïd %A Yim, Pascal %B CPAIOR %D 2004 %E Régin, Jean-Charles %E Rueher, Michel %I Springer %K dblp %P 112-126 %T Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2004.html#BourdeaudhuyHY04 %V 3011 %@ 3-540-21836-X

@inproceedings{conf/cpaior/BourdeaudhuyHY04, added-at = {2017-05-17T00:00:00.000+0200}, author = {Bourdeaud'huy, Thomas and Hanafi, Saïd and Yim, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/29125d345d127144cd407eccab3800f83/dblp}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2004}, editor = {Régin, Jean-Charles and Rueher, Michel}, ee = {https://doi.org/10.1007/978-3-540-24664-0_8}, interhash = {2b5026cb96555f9952569cdd17368c75}, intrahash = {9125d345d127144cd407eccab3800f83}, isbn = {3-540-21836-X}, keywords = {dblp}, pages = {112-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:55:02.000+0200}, title = {Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2004.html#BourdeaudhuyHY04}, volume = 3011, year = 2004 }