%0 Conference Paper %1 conf/iadis/AyoubWSTS09 %A Ayoub, Anaheed %A Wahba, Ayman M. %A Salem, Ashraf M. %A Taher, Mohamed %A Sheirah, Mohamed A. %B IADIS AC (1) %D 2009 %E Weghorn, Hans %E Isaías, Pedro T. %I IADIS Press %K dblp %P 243-250 %T Automatic code generation from verified timed automata model. %U http://dblp.uni-trier.de/db/conf/iadis/ac2009.html#AyoubWSTS09 %@ 978-972-8924-97-3

@inproceedings{conf/iadis/AyoubWSTS09, added-at = {2010-01-22T00:00:00.000+0100}, author = {Ayoub, Anaheed and Wahba, Ayman M. and Salem, Ashraf M. and Taher, Mohamed and Sheirah, Mohamed A.}, biburl = {https://www.bibsonomy.org/bibtex/2014f48a65e54bd6704bd5e76e54ca6be/dblp}, booktitle = {IADIS AC (1)}, crossref = {conf/iadis/2009ac}, editor = {Weghorn, Hans and Isaías, Pedro T.}, interhash = {3b3773a8e5fc49cfbf396abb120ed87f}, intrahash = {014f48a65e54bd6704bd5e76e54ca6be}, isbn = {978-972-8924-97-3}, keywords = {dblp}, pages = {243-250}, publisher = {IADIS Press}, timestamp = {2016-10-05T11:37:03.000+0200}, title = {Automatic code generation from verified timed automata model.}, url = {http://dblp.uni-trier.de/db/conf/iadis/ac2009.html#AyoubWSTS09}, year = 2009 }