%0 Journal Article %1 journals/jss/HassapisA03 %A Hassapis, George %A Ananidou, Dimitra %D 2003 %J J. Syst. Softw. %K dblp %N 2 %P 153-165 %T Modeling and verification of a class of real-time systems by the use of High Level Petri Nets. %U http://dblp.uni-trier.de/db/journals/jss/jss68.html#HassapisA03 %V 68

@article{journals/jss/HassapisA03, added-at = {2022-08-16T00:00:00.000+0200}, author = {Hassapis, George and Ananidou, Dimitra}, biburl = {https://www.bibsonomy.org/bibtex/292ef6d4b83936368bd8710ac540ba522/dblp}, ee = {https://www.wikidata.org/entity/Q111897093}, interhash = {ff56ad705b251c6909f49f4183800220}, intrahash = {92ef6d4b83936368bd8710ac540ba522}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 2, pages = {153-165}, timestamp = {2024-04-09T03:36:59.000+0200}, title = {Modeling and verification of a class of real-time systems by the use of High Level Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss68.html#HassapisA03}, volume = 68, year = 2003 }