論文

査読有り

2006年

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.

Electr. Notes Theor. Comput. Sci.

Morgan Magnin
Didier Lime
Olivier H. Roux

巻: 144
号: 3
開始ページ: 59
終了ページ: 77
DOI: 10.1016/j.entcs.2006.01.005

リンク情報

DOI: https://doi.org/10.1016/j.entcs.2006.01.005
DBLP: https://dblp.uni-trier.de/rec/journals/entcs/MagninLR06
URL: http://dblp.uni-trier.de/db/journals/entcs/entcs144.html#journals/entcs/MagninLR06

ID情報

DOI : 10.1016/j.entcs.2006.01.005
DBLP ID : journals/entcs/MagninLR06

エクスポート: BibTeX RIS

論文リストへ