%0 Conference Paper %1 conf/iics/Saad-KhorchefBRC10 %A Saad-Khorchef, Fares %A Berrada, Ismail %A Rollet, Antoine %A Castanet, Richard %B IICS %D 2010 %E Eichler, Gerald %E Kropf, Peter G. %E Lechner, Ulrike %E Meesad, Phayung %E Unger, Herwig %I GI %K dblp %P 409-421 %T Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. %U http://dblp.uni-trier.de/db/conf/iics/iics2010.html#Saad-KhorchefBRC10 %V P-165 %@ 978-3-88579-259-8

@inproceedings{conf/iics/Saad-KhorchefBRC10, added-at = {2023-07-04T00:00:00.000+0200}, author = {Saad-Khorchef, Fares and Berrada, Ismail and Rollet, Antoine and Castanet, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2f190c36a26f1e4041fae77a92391e793/dblp}, booktitle = {IICS}, crossref = {conf/iics/2010}, editor = {Eichler, Gerald and Kropf, Peter G. and Lechner, Ulrike and Meesad, Phayung and Unger, Herwig}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings165/article5631.html}, interhash = {8879e68262c858a9f9eeacced6c5eb42}, intrahash = {f190c36a26f1e4041fae77a92391e793}, isbn = {978-3-88579-259-8}, keywords = {dblp}, pages = {409-421}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T14:57:31.000+0200}, title = {Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.}, url = {http://dblp.uni-trier.de/db/conf/iics/iics2010.html#Saad-KhorchefBRC10}, volume = {P-165}, year = 2010 }