Inproceedings,
On Testing 1-Safe Petri Nets.
G. Jourdan, and G. von Bochmann.TASE, page 275-281. IEEE Computer Society, (2009)
Meta data
- BibTeX key
- conf/tase/JourdanB09
- entry type
- inproceedings
- booktitle
- TASE
- year
- 2009
- pages
- 275-281
- publisher
- IEEE Computer Society
- crossref
- conf/tase/2009
- ee
- https://doi.ieeecomputersociety.org/10.1109/TASE.2009.20
- isbn
- 978-0-7695-3757-3
- url
- http://dblp.uni-trier.de/db/conf/tase/tase2009.html#JourdanB09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tase/JourdanB09
%A Jourdan, Guy-Vincent
%A von Bochmann, Gregor
%B TASE
%D 2009
%E Chin, Wei-Ngan
%E Qin, Shengchao
%I IEEE Computer Society
%K dblp
%P 275-281
%T On Testing 1-Safe Petri Nets.
%U http://dblp.uni-trier.de/db/conf/tase/tase2009.html#JourdanB09
%@ 978-0-7695-3757-3
@inproceedings{conf/tase/JourdanB09,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Jourdan, Guy-Vincent and von Bochmann, Gregor},
biburl = {https://www.bibsonomy.org/bibtex/2765836c483de9d15ee33ff2a9ffcf4bb/dblp},
booktitle = {TASE},
crossref = {conf/tase/2009},
editor = {Chin, Wei-Ngan and Qin, Shengchao},
ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2009.20},
interhash = {d666aa7bf80dcc47535524432a2ca69e},
intrahash = {765836c483de9d15ee33ff2a9ffcf4bb},
isbn = {978-0-7695-3757-3},
keywords = {dblp},
pages = {275-281},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T10:22:48.000+0200},
title = {On Testing 1-Safe Petri Nets.},
url = {http://dblp.uni-trier.de/db/conf/tase/tase2009.html#JourdanB09},
year = 2009
}