%0 Conference Paper %1 conf/cav/HolmerLY91 %A Holmer, Uno %A Larsen, Kim Guldstrand %A Yi, Wang %B CAV %D 1991 %E Larsen, Kim Guldstrand %E Skou, Arne %I Springer %K dblp %P 443-453 %T Deciding Properties of Regular Real Time Processes. %U http://dblp.uni-trier.de/db/conf/cav/cav91.html#HolmerLY91 %V 575 %@ 3-540-55179-4

@inproceedings{conf/cav/HolmerLY91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Holmer, Uno and Larsen, Kim Guldstrand and Yi, Wang}, biburl = {https://www.bibsonomy.org/bibtex/205328155b5c53e840bf35c3f968c90ec/dblp}, booktitle = {CAV}, crossref = {conf/cav/1991}, editor = {Larsen, Kim Guldstrand and Skou, Arne}, ee = {https://doi.org/10.1007/3-540-55179-4_41}, interhash = {86257e24491678ba4004536c2d6dff29}, intrahash = {05328155b5c53e840bf35c3f968c90ec}, isbn = {3-540-55179-4}, keywords = {dblp}, pages = {443-453}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:24.000+0200}, title = {Deciding Properties of Regular Real Time Processes.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav91.html#HolmerLY91}, volume = 575, year = 1991 }