%0 Conference Paper %1 conf/memocode/FowzeY16 %A Fowze, Farhaan %A Yavuz, Tuba %B MEMOCODE %D 2016 %I IEEE %K dblp %P 95-104 %T Specification, verification, and synthesis using extended state machines with callbacks. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2016.html#FowzeY16 %@ 978-1-5090-2791-0

@inproceedings{conf/memocode/FowzeY16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Fowze, Farhaan and Yavuz, Tuba}, biburl = {https://www.bibsonomy.org/bibtex/2b33708c202cc4f0c7e6ced17538abaaf/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2016}, ee = {https://doi.org/10.1109/MEMCOD.2016.7797752}, interhash = {380b31f25d78dab5179412846b791388}, intrahash = {b33708c202cc4f0c7e6ced17538abaaf}, isbn = {978-1-5090-2791-0}, keywords = {dblp}, pages = {95-104}, publisher = {IEEE}, timestamp = {2019-10-17T12:53:45.000+0200}, title = {Specification, verification, and synthesis using extended state machines with callbacks.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2016.html#FowzeY16}, year = 2016 }