%0 Conference Paper %1 conf/hybrid/TabuadaP03 %A Tabuada, Paulo %A Pappas, George J. %B HSCC %D 2003 %E Maler, Oded %E Pnueli, Amir %I Springer %K dblp %P 498-513 %T Model Checking LTL over Controllable Linear Systems Is Decidable. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2003.html#TabuadaP03 %V 2623 %@ 3-540-00913-2

@inproceedings{conf/hybrid/TabuadaP03, added-at = {2017-05-25T00:00:00.000+0200}, author = {Tabuada, Paulo and Pappas, George J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ecf449056e18917fec9ea4a37c194104/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2003}, editor = {Maler, Oded and Pnueli, Amir}, ee = {https://doi.org/10.1007/3-540-36580-X_36}, interhash = {6323181e499517f6e731289d41b878f3}, intrahash = {ecf449056e18917fec9ea4a37c194104}, isbn = {3-540-00913-2}, keywords = {dblp}, pages = {498-513}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:02:58.000+0200}, title = {Model Checking LTL over Controllable Linear Systems Is Decidable.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2003.html#TabuadaP03}, volume = 2623, year = 2003 }