%0 Journal Article %1 journals/topnoc/SalemDK12 %A Salem, Ala-Eddine Ben %A Duret-Lutz, Alexandre %A Kordon, Fabrice %B Trans. Petri Nets and Other Models of Concurrency %D 2012 %E Jensen, Kurt %E van der Aalst, Wil M. P. %E Marsan, Marco Ajmone %E Franceschinis, Giuliana %E Kleijn, Jetty %E Kristensen, Lars Michael %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 94-122 %T Model Checking Using Generalized Testing Automata. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc6.html#SalemDK12 %V 6 %@ 978-3-642-35178-5

@article{journals/topnoc/SalemDK12, added-at = {2020-03-13T00:00:00.000+0100}, author = {Salem, Ala-Eddine Ben and Duret-Lutz, Alexandre and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2f905fbc1dc8c8f9ad843ebbad54cf9c1/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2012-6}, editor = {Jensen, Kurt and van der Aalst, Wil M. P. and Marsan, Marco Ajmone and Franceschinis, Giuliana and Kleijn, Jetty and Kristensen, Lars Michael}, ee = {https://doi.org/10.1007/978-3-642-35179-2_5}, interhash = {8790cdfe9691f243662a80543e1cb665}, intrahash = {f905fbc1dc8c8f9ad843ebbad54cf9c1}, isbn = {978-3-642-35178-5}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {94-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:35.000+0100}, title = {Model Checking Using Generalized Testing Automata.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc6.html#SalemDK12}, volume = 6, year = 2012 }