%0 Journal Article %1 journals/ieiceee/YokogawaKMASA15 %A Yokogawa, Tomoyuki %A Kondo, Masafumi %A Miyazaki, Hisashi %A Amasaki, Sousuke %A Sato, Yoichiro %A Arimoto, Kazutami %D 2015 %J IEICE Electron. Express %K dblp %N 2 %P 20141112 %T Bounded model checking of Time Petri Nets using SAT solver. %U http://dblp.uni-trier.de/db/journals/ieiceee/ieiceee12.html#YokogawaKMASA15 %V 12

@article{journals/ieiceee/YokogawaKMASA15, added-at = {2021-02-12T00:00:00.000+0100}, author = {Yokogawa, Tomoyuki and Kondo, Masafumi and Miyazaki, Hisashi and Amasaki, Sousuke and Sato, Yoichiro and Arimoto, Kazutami}, biburl = {https://www.bibsonomy.org/bibtex/26e11d798fae4b52630c5d5e14ff20400/dblp}, ee = {https://doi.org/10.1587/elex.11.20141112}, interhash = {9d2dfdf2bf51272b6eb7cc3ca77ecf3e}, intrahash = {6e11d798fae4b52630c5d5e14ff20400}, journal = {IEICE Electron. Express}, keywords = {dblp}, number = 2, pages = 20141112, timestamp = {2024-04-09T06:51:13.000+0200}, title = {Bounded model checking of Time Petri Nets using SAT solver.}, url = {http://dblp.uni-trier.de/db/journals/ieiceee/ieiceee12.html#YokogawaKMASA15}, volume = 12, year = 2015 }