%0 Conference Paper %1 conf/lics/GodefroidH05 %A Godefroid, Patrice %A Huth, Michael %B LICS %D 2005 %I IEEE Computer Society %K dblp %P 158-167 %T Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. %U http://dblp.uni-trier.de/db/conf/lics/lics2005.html#GodefroidH05 %@ 0-7695-2266-1

@inproceedings{conf/lics/GodefroidH05, added-at = {2023-09-11T00:00:00.000+0200}, author = {Godefroid, Patrice and Huth, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2bf4303df7b6f356a0d56c4b251348ab2/dblp}, booktitle = {LICS}, crossref = {conf/lics/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2005.28}, interhash = {6d9cb290a0c41d78af1c0aa5e375ed9d}, intrahash = {bf4303df7b6f356a0d56c4b251348ab2}, isbn = {0-7695-2266-1}, keywords = {dblp}, pages = {158-167}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:01:17.000+0200}, title = {Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2005.html#GodefroidH05}, year = 2005 }