%0 Conference Paper %1 conf/asmta/BauseBTT17 %A Bause, Falko %A Buchholz, Peter %A Tarasyuk, Igor V. %A Telek, Miklós %B ASMTA %D 2017 %E Thomas, Nigel %E Forshaw, Matthew %I Springer %K dblp %P 16-31 %T Equivalence and Lumpability of FSPNs. %U http://dblp.uni-trier.de/db/conf/asmta/asmta2017.html#BauseBTT17 %V 10378 %@ 978-3-319-61428-1

@inproceedings{conf/asmta/BauseBTT17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bause, Falko and Buchholz, Peter and Tarasyuk, Igor V. and Telek, Miklós}, biburl = {https://www.bibsonomy.org/bibtex/2276abc5a8225f3b28dd84a3b28c19985/dblp}, booktitle = {ASMTA}, crossref = {conf/asmta/2017}, editor = {Thomas, Nigel and Forshaw, Matthew}, ee = {https://doi.org/10.1007/978-3-319-61428-1_2}, interhash = {a5c57d34bd70b85b98894ede3b641ce1}, intrahash = {276abc5a8225f3b28dd84a3b28c19985}, isbn = {978-3-319-61428-1}, keywords = {dblp}, pages = {16-31}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:06:56.000+0200}, title = {Equivalence and Lumpability of FSPNs.}, url = {http://dblp.uni-trier.de/db/conf/asmta/asmta2017.html#BauseBTT17}, volume = 10378, year = 2017 }