%0 Conference Paper %1 conf/pts/Nunez11 %A Núñez, Manuel %B ICTSS %D 2011 %E Wolff, Burkhart %E Zaïdi, Fatiha %I Springer %K dblp %P 9-14 %T Formal Testing of Timed and Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/pts/ictss2011.html#Nunez11 %V 7019 %@ 978-3-642-24579-4

@inproceedings{conf/pts/Nunez11, added-at = {2018-06-26T00:00:00.000+0200}, author = {Núñez, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/238fe13535702fb3c492dee817b212e19/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2011}, editor = {Wolff, Burkhart and Zaïdi, Fatiha}, ee = {https://doi.org/10.1007/978-3-642-24580-0_2}, interhash = {99b7ffbd74fdfb55859133cc04ec1dcf}, intrahash = {38fe13535702fb3c492dee817b212e19}, isbn = {978-3-642-24579-4}, keywords = {dblp}, pages = {9-14}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:05:21.000+0200}, title = {Formal Testing of Timed and Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2011.html#Nunez11}, volume = 7019, year = 2011 }