%0 Conference Paper %1 conf/apn/SunesenN96 %A Sunesen, Kim %A Nielsen, Mogens %B Application and Theory of Petri Nets %D 1996 %E Billington, Jonathan %E Reisig, Wolfgang %I Springer %K dblp %P 460-479 %T Behavioural Equivalence for Infinite Systems - Partially Decidable! %U http://dblp.uni-trier.de/db/conf/apn/apn96.html#SunesenN96 %V 1091 %@ 3-540-61363-3

@inproceedings{conf/apn/SunesenN96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Sunesen, Kim and Nielsen, Mogens}, biburl = {https://www.bibsonomy.org/bibtex/2aa8af52400e8f6949fbee96eede863c9/dblp}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1996}, editor = {Billington, Jonathan and Reisig, Wolfgang}, ee = {https://doi.org/10.1007/3-540-61363-3_25}, interhash = {f3e02995844b400a6d4b88c964ab06de}, intrahash = {aa8af52400e8f6949fbee96eede863c9}, isbn = {3-540-61363-3}, keywords = {dblp}, pages = {460-479}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:50.000+0200}, title = {Behavioural Equivalence for Infinite Systems - Partially Decidable!}, url = {http://dblp.uni-trier.de/db/conf/apn/apn96.html#SunesenN96}, volume = 1091, year = 1996 }