Inproceedings,
Well Formed PetriNet for Reachablility.
Y. Ikeda, S. Shimada, and T. Miura.SITIS, page 595-602. IEEE Computer Society, (2012)
Meta data
- BibTeX key
- conf/sitis/IkedaSM12
- entry type
- inproceedings
- booktitle
- SITIS
- year
- 2012
- pages
- 595-602
- publisher
- IEEE Computer Society
- crossref
- conf/sitis/2012
- ee
- http://dx.doi.org/10.1109/SITIS.2012.91
- isbn
- 978-1-4673-5152-2
- url
- http://dblp.uni-trier.de/db/conf/sitis/sitis2012.html#IkedaSM12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sitis/IkedaSM12
%A Ikeda, Yuta
%A Shimada, Satoshi
%A Miura, Takao
%B SITIS
%D 2012
%E Yétongnon, Kokou
%E Chbeir, Richard
%E Dipanda, Albert
%E Gallo, Luigi
%I IEEE Computer Society
%K dblp
%P 595-602
%T Well Formed PetriNet for Reachablility.
%U http://dblp.uni-trier.de/db/conf/sitis/sitis2012.html#IkedaSM12
%@ 978-1-4673-5152-2
@inproceedings{conf/sitis/IkedaSM12,
added-at = {2013-01-14T00:00:00.000+0100},
author = {Ikeda, Yuta and Shimada, Satoshi and Miura, Takao},
biburl = {https://www.bibsonomy.org/bibtex/24a20ced6b31e02401c48357b54a6ca01/dblp},
booktitle = {SITIS},
crossref = {conf/sitis/2012},
editor = {Yétongnon, Kokou and Chbeir, Richard and Dipanda, Albert and Gallo, Luigi},
ee = {http://dx.doi.org/10.1109/SITIS.2012.91},
interhash = {588ee787845c7452d02b996f1038be1d},
intrahash = {4a20ced6b31e02401c48357b54a6ca01},
isbn = {978-1-4673-5152-2},
keywords = {dblp},
pages = {595-602},
publisher = {IEEE Computer Society},
timestamp = {2015-06-18T23:58:53.000+0200},
title = {Well Formed PetriNet for Reachablility.},
url = {http://dblp.uni-trier.de/db/conf/sitis/sitis2012.html#IkedaSM12},
year = 2012
}