%0 Conference Paper %1 conf/cpsweek/HoxhaAF14a %A Hoxha, Bardh %A Abbas, Houssam %A Fainekos, Georgios %B ARCH@CPSWeek %D 2014 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 113-119 %T Using S-TaLiRo on Industrial Size AuImmlertomotive Models. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#HoxhaAF14a %V 34

@inproceedings{conf/cpsweek/HoxhaAF14a, added-at = {2021-10-14T00:00:00.000+0200}, author = {Hoxha, Bardh and Abbas, Houssam and Fainekos, Georgios}, biburl = {https://www.bibsonomy.org/bibtex/27ccb07d2457c0404d41e0f4c4fb901cc/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2014-15arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/kwp3}, interhash = {7e048f5da532042f1fbca506411d771c}, intrahash = {7ccb07d2457c0404d41e0f4c4fb901cc}, keywords = {dblp}, pages = {113-119}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {Using S-TaLiRo on Industrial Size AuImmlertomotive Models.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#HoxhaAF14a}, volume = 34, year = 2014 }