%0 Journal Article %1 journals/ai/ShultsK97 %A Shults, Benjamin %A Kuipers, Benjamin %D 1997 %J Artif. Intell. %K dblp %N 1-2 %P 91-129 %T Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. %U http://dblp.uni-trier.de/db/journals/ai/ai92.html#ShultsK97 %V 92

@article{journals/ai/ShultsK97, added-at = {2003-11-19T00:00:00.000+0100}, author = {Shults, Benjamin and Kuipers, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/217ba02c7cba8e2793ddf6a1acef711ea/dblp}, date = {2003-11-19}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0004-3702(96)00050-1}, interhash = {e023f5208c7849cb647ee118a36c9e3a}, intrahash = {17ba02c7cba8e2793ddf6a1acef711ea}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {91-129}, timestamp = {2003-11-19T00:00:00.000+0100}, title = {Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai92.html#ShultsK97}, volume = 92, year = 1997 }