%0 Conference Paper %1 conf/rv/CheikhBCVLB18 %A Cheikh, Ansem Ben %A Blein, Yoann %A Chehida, Salim %A Vega, Germán %A Ledru, Yves %A du Bousquet, Lydie %B RV %D 2018 %E Colombo, Christian %E Leucker, Martin %I Springer %K dblp %P 437-446 %T An Environment for the ParTraP Trace Property Language (Tool Demonstration). %U http://dblp.uni-trier.de/db/conf/rv/rv2018.html#CheikhBCVLB18 %V 11237 %@ 978-3-030-03769-7

@inproceedings{conf/rv/CheikhBCVLB18, added-at = {2018-11-09T00:00:00.000+0100}, author = {Cheikh, Ansem Ben and Blein, Yoann and Chehida, Salim and Vega, Germán and Ledru, Yves and du Bousquet, Lydie}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e490f5d587055eb967345f9fdf81ad59/dblp}, booktitle = {RV}, crossref = {conf/rv/2018}, editor = {Colombo, Christian and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-030-03769-7_26}, interhash = {2e27a15417afa3532936585566129d4d}, intrahash = {e490f5d587055eb967345f9fdf81ad59}, isbn = {978-3-030-03769-7}, keywords = {dblp}, pages = {437-446}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:01:45.000+0200}, title = {An Environment for the ParTraP Trace Property Language (Tool Demonstration).}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2018.html#CheikhBCVLB18}, volume = 11237, year = 2018 }