%0 Journal Article %1 journals/topnoc/WangKMS18 %A Wang, Rui %A Kristensen, Lars Michael %A Meling, Hein %A Stolz, Volker %B Trans. Petri Nets and Other Models of Concurrency %D 2018 %E Koutny, Maciej %E Kristensen, Lars Michael %E Penczek, Wojciech %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 158-180 %T Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc13.html#WangKMS18 %V 13 %@ 978-3-662-58381-4

@article{journals/topnoc/WangKMS18, added-at = {2020-05-12T00:00:00.000+0200}, author = {Wang, Rui and Kristensen, Lars Michael and Meling, Hein and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/221c2c0e3346de37380f21b8ce40ac251/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2018-13}, editor = {Koutny, Maciej and Kristensen, Lars Michael and Penczek, Wojciech}, ee = {https://doi.org/10.1007/978-3-662-58381-4_8}, interhash = {e5b48bb0d5776bebdf776fb990b053f3}, intrahash = {21c2c0e3346de37380f21b8ce40ac251}, isbn = {978-3-662-58381-4}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {158-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-13T12:10:58.000+0200}, title = {Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc13.html#WangKMS18}, volume = 13, year = 2018 }