%0 Conference Paper %1 conf/facs2/Bou-AmmarJN17 %A Bou-Ammar, Haitham %A Jaber, Mohamad %A Nassar, Mohamed %B FACS %D 2017 %E Proença, José %E Lumpe, Markus %I Springer %K dblp %P 162-178 %T Correctness-by-Learning of Infinite-State Component-Based Systems. %U http://dblp.uni-trier.de/db/conf/facs2/facs2017.html#Bou-AmmarJN17 %V 10487 %@ 978-3-319-68034-7

@inproceedings{conf/facs2/Bou-AmmarJN17, added-at = {2019-09-26T00:00:00.000+0200}, author = {Bou-Ammar, Haitham and Jaber, Mohamad and Nassar, Mohamed}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/292875d40f0d72a91ef24dfae45cfc6e8/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2017}, editor = {Proença, José and Lumpe, Markus}, ee = {https://doi.org/10.1007/978-3-319-68034-7_10}, interhash = {2b0499fbbc34b2e76087fe3e48ac0f7a}, intrahash = {92875d40f0d72a91ef24dfae45cfc6e8}, isbn = {978-3-319-68034-7}, keywords = {dblp}, pages = {162-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:51:20.000+0200}, title = {Correctness-by-Learning of Infinite-State Component-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2017.html#Bou-AmmarJN17}, volume = 10487, year = 2017 }