%0 Journal Article %1 journals/ejcon/KowalewskiSB01 %A Kowalewski, Stefan %A Stursberg, Olaf %A Bauer, Nanette %D 2001 %J Eur. J. Control %K dblp %N 4 %P 366-381 %T An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. %U http://dblp.uni-trier.de/db/journals/ejcon/ejcon7.html#KowalewskiSB01 %V 7

@article{journals/ejcon/KowalewskiSB01, added-at = {2012-11-08T00:00:00.000+0100}, author = {Kowalewski, Stefan and Stursberg, Olaf and Bauer, Nanette}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bad309777835a983aab3062524317c5a/dblp}, ee = {http://dx.doi.org/10.3166/ejc.7.361-381}, interhash = {467dbaa0096e7c6761035b82f7dde796}, intrahash = {bad309777835a983aab3062524317c5a}, journal = {Eur. J. Control}, keywords = {dblp}, number = 4, pages = {366-381}, timestamp = {2016-02-02T07:37:57.000+0100}, title = {An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/journals/ejcon/ejcon7.html#KowalewskiSB01}, volume = 7, year = 2001 }