Inproceedings,
An efficient path based equivalence checking for Petri net based models of programs.
S. Bandyopadhyay, D. Sarkar, and C. Mandal.ISEC, page 70-79. ACM, (2016)
Meta data
- BibTeX key
- conf/indiaSE/BandyopadhyaySM16
- entry type
- inproceedings
- booktitle
- ISEC
- year
- 2016
- pages
- 70-79
- publisher
- ACM
- crossref
- conf/indiaSE/2016
- ee
- https://doi.org/10.1145/2856636.2856652
- isbn
- 978-1-4503-4018-2
- url
- http://dblp.uni-trier.de/db/conf/indiaSE/isec2016.html#BandyopadhyaySM16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/indiaSE/BandyopadhyaySM16
%A Bandyopadhyay, Soumyadip
%A Sarkar, Dipankar
%A Mandal, Chittaranjan A.
%B ISEC
%D 2016
%E Sarkar, Santonu
%E Sureka, Ashish
%E Cotroneo, Domenico
%E Sinha, Nishant
%E Sinha, Vibha Singhal
%E Venkatasubramanyam, Radhika
%E Joshi, Padmaja
%E Naik, R. D.
%E Singh, Pushpendra
%E Lalchandani, JayPrakash
%I ACM
%K dblp
%P 70-79
%T An efficient path based equivalence checking for Petri net based models of programs.
%U http://dblp.uni-trier.de/db/conf/indiaSE/isec2016.html#BandyopadhyaySM16
%@ 978-1-4503-4018-2
@inproceedings{conf/indiaSE/BandyopadhyaySM16,
added-at = {2021-03-08T00:00:00.000+0100},
author = {Bandyopadhyay, Soumyadip and Sarkar, Dipankar and Mandal, Chittaranjan A.},
biburl = {https://www.bibsonomy.org/bibtex/2d34289750f3c1f0fd3809e6c31945eae/dblp},
booktitle = {ISEC},
crossref = {conf/indiaSE/2016},
editor = {Sarkar, Santonu and Sureka, Ashish and Cotroneo, Domenico and Sinha, Nishant and Sinha, Vibha Singhal and Venkatasubramanyam, Radhika and Joshi, Padmaja and Naik, R. D. and Singh, Pushpendra and Lalchandani, JayPrakash},
ee = {https://doi.org/10.1145/2856636.2856652},
interhash = {a402c7c5d4146e1d8ae128b55e73bc15},
intrahash = {d34289750f3c1f0fd3809e6c31945eae},
isbn = {978-1-4503-4018-2},
keywords = {dblp},
pages = {70-79},
publisher = {ACM},
timestamp = {2024-04-10T05:51:33.000+0200},
title = {An efficient path based equivalence checking for Petri net based models of programs.},
url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2016.html#BandyopadhyaySM16},
year = 2016
}