Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/pts/UlrichAHB10
%A Ulrich, Andreas
%A Alikacem, El Hachemi
%A Hallal, Hesham
%A Boroday, Sergiy
%B ICTSS
%D 2010
%E Petrenko, Alexandre
%E da Silva Simão, Adenilso
%E Maldonado, José Carlos
%I Springer
%K dblp
%P 236-249
%T From Scenarios to Test Implementations Via Promela.
%U http://dblp.uni-trier.de/db/conf/pts/ictss2010.html#UlrichAHB10
%V 6435
%@ 978-3-642-16572-6
@inproceedings{conf/pts/UlrichAHB10,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Ulrich, Andreas and Alikacem, El Hachemi and Hallal, Hesham and Boroday, Sergiy},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a1ed4650c85b2a204739ee58855cd684/dblp},
booktitle = {ICTSS},
crossref = {conf/pts/2010},
editor = {Petrenko, Alexandre and da Silva Simão, Adenilso and Maldonado, José Carlos},
ee = {https://doi.org/10.1007/978-3-642-16573-3_17},
interhash = {f62961d3a6db3ab19b289aecd065ea56},
intrahash = {a1ed4650c85b2a204739ee58855cd684},
isbn = {978-3-642-16572-6},
keywords = {dblp},
pages = {236-249},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T13:23:59.000+0200},
title = {From Scenarios to Test Implementations Via Promela.},
url = {http://dblp.uni-trier.de/db/conf/pts/ictss2010.html#UlrichAHB10},
volume = 6435,
year = 2010
}