%0 Conference Paper %1 conf/asm/AyoubWSS10 %A Ayoub, Anaheed %A Wahba, Ayman M. %A Salem, Ashraf M. %A Sheirah, Mohamed A. %B ASM %D 2010 %E Frappier, Marc %E Glässer, Uwe %E Khurshid, Sarfraz %E Laleau, Régine %E Reeves, Steve %I Springer %K dblp %P 403 %T Code Synthesis for Timed Automata: A Comparison Using Case Study. %U http://dblp.uni-trier.de/db/conf/asm/abz2010.html#AyoubWSS10 %V 5977 %@ 978-3-642-11810-4

@inproceedings{conf/asm/AyoubWSS10, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ayoub, Anaheed and Wahba, Ayman M. and Salem, Ashraf M. and Sheirah, Mohamed A.}, biburl = {https://www.bibsonomy.org/bibtex/2149114d6c3157a52f847de9e093e9b55/dblp}, booktitle = {ASM}, crossref = {conf/asm/2010}, editor = {Frappier, Marc and Glässer, Uwe and Khurshid, Sarfraz and Laleau, Régine and Reeves, Steve}, ee = {https://doi.org/10.1007/978-3-642-11811-1_37}, interhash = {1499e90fdb9e2027f1910a5eb1ce44fc}, intrahash = {149114d6c3157a52f847de9e093e9b55}, isbn = {978-3-642-11810-4}, keywords = {dblp}, pages = 403, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T10:13:52.000+0200}, title = {Code Synthesis for Timed Automata: A Comparison Using Case Study.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2010.html#AyoubWSS10}, volume = 5977, year = 2010 }