%0 Journal Article %1 journals/infsof/LeePK01 %A Lee, Jonathan %A Pan, Jiann-I %A Kuo, Jong-Yih %D 2001 %J Inf. Softw. Technol. %K dblp %N 13 %P 769-781 %T Verifying scenarios with time Petri-nets. %U http://dblp.uni-trier.de/db/journals/infsof/infsof43.html#LeePK01 %V 43

@article{journals/infsof/LeePK01, added-at = {2024-08-14T00:00:00.000+0200}, author = {Lee, Jonathan and Pan, Jiann-I and Kuo, Jong-Yih}, biburl = {https://www.bibsonomy.org/bibtex/25aa90c68a679cff3e6f43dc1af541275/dblp}, ee = {https://doi.org/10.1016/S0950-5849(01)00184-7}, interhash = {bcda2d0dc0e59a026759fab08ff0b17b}, intrahash = {5aa90c68a679cff3e6f43dc1af541275}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 13, pages = {769-781}, timestamp = {2024-08-19T07:09:37.000+0200}, title = {Verifying scenarios with time Petri-nets.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof43.html#LeePK01}, volume = 43, year = 2001 }