%0 Journal Article %1 journals/synthese/Merz02 %A Merz, Stephan %D 2002 %J Synthese %K %N 1-2 %P 173-201 %T Model Checking Techniqes for the Analysis of Reactive Systems. %U http://dblp.uni-trier.de/db/journals/synthese/synthese133.html#Merz02 %V 133

@article{journals/synthese/Merz02, added-at = {2023-12-12T20:17:26.000+0100}, author = {Merz, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/220637e1bc31394394cb7ecef9e36de69/admin}, ee = {http://dx.doi.org/10.1023/A:1020887910943}, interhash = {2d1cf1a6ebf8fdfac1a7897cc04560a0}, intrahash = {20637e1bc31394394cb7ecef9e36de69}, journal = {Synthese}, keywords = {}, number = {1-2}, pages = {173-201}, timestamp = {2023-12-12T20:17:26.000+0100}, title = {Model Checking Techniqes for the Analysis of Reactive Systems.}, url = {http://dblp.uni-trier.de/db/journals/synthese/synthese133.html#Merz02}, volume = 133, year = 2002 }