%0 Conference Paper %1 conf/birthday/Peleska15 %A Peleska, Jan %B Correct System Design %D 2015 %E Meyer, Roland %E Platzer, André %E Wehrheim, Heike %I Springer %K dblp %P 133-151 %T Translating Testing Theories for Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/birthday/olderog2015.html#Peleska15 %V 9360 %@ 978-3-319-23505-9

@inproceedings{conf/birthday/Peleska15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Peleska, Jan}, biburl = {https://www.bibsonomy.org/bibtex/25eaa16cad2e0141ebbdce238391198b8/dblp}, booktitle = {Correct System Design}, crossref = {conf/birthday/2015olderog}, editor = {Meyer, Roland and Platzer, André and Wehrheim, Heike}, ee = {https://doi.org/10.1007/978-3-319-23506-6_10}, interhash = {aa2b7aca17c89cecf30e8f6124f926a7}, intrahash = {5eaa16cad2e0141ebbdce238391198b8}, isbn = {978-3-319-23505-9}, keywords = {dblp}, pages = {133-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-03T11:38:09.000+0200}, title = {Translating Testing Theories for Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/birthday/olderog2015.html#Peleska15}, volume = 9360, year = 2015 }