%0 Conference Paper %1 conf/rocks/AndreychenkoKS12 %A Andreychenko, Alexandr %A Krüger, Thilo %A Spieler, David %B ROCKS %D 2012 %E Remke, Anne %E Stoelinga, Mariëlle %I Springer %K %P 1-25 %T Analyzing Oscillatory Behavior with Formal Methods. %U http://dblp.uni-trier.de/db/conf/rocks/rocks2012.html#AndreychenkoKS12 %V 8453 %@ 978-3-662-45488-6

@inproceedings{conf/rocks/AndreychenkoKS12, added-at = {2023-12-13T00:35:33.000+0100}, author = {Andreychenko, Alexandr and Krüger, Thilo and Spieler, David}, biburl = {https://www.bibsonomy.org/bibtex/2339b854399c73022e7e66f3d7cb9bd1f/admin}, booktitle = {ROCKS}, crossref = {conf/rocks/2012}, editor = {Remke, Anne and Stoelinga, Mariëlle}, ee = {http://dx.doi.org/10.1007/978-3-662-45489-3_1}, interhash = {6593f09a689506a1d4bc2d81cefd8209}, intrahash = {339b854399c73022e7e66f3d7cb9bd1f}, isbn = {978-3-662-45488-6}, keywords = {}, pages = {1-25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:35:33.000+0100}, title = {Analyzing Oscillatory Behavior with Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/rocks/rocks2012.html#AndreychenkoKS12}, volume = 8453, year = 2012 }