%0 Conference Paper %1 conf/memocode/GesellS12 %A Gesell, Manuel %A Schneider, Klaus %B MEMOCODE %D 2012 %I IEEE %K dblp %P 75-84 %T Interactive verification of synchronous systems. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2012.html#GesellS12 %@ 978-1-4673-1314-8

@inproceedings{conf/memocode/GesellS12, added-at = {2014-12-22T00:00:00.000+0100}, author = {Gesell, Manuel and Schneider, Klaus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24dcc0b2f356eca765a59e9b47383b5f2/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2012}, ee = {http://dx.doi.org/10.1109/MEMCOD.2012.6292302}, interhash = {0c7dc5a4da0f53fc6b6728d7f2945465}, intrahash = {4dcc0b2f356eca765a59e9b47383b5f2}, isbn = {978-1-4673-1314-8}, keywords = {dblp}, pages = {75-84}, publisher = {IEEE}, timestamp = {2016-02-02T14:11:01.000+0100}, title = {Interactive verification of synchronous systems.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2012.html#GesellS12}, year = 2012 }