%0 Conference Paper %1 conf/sas/Saidi00 %A Saïdi, Hassen %B SAS %D 2000 %E Palsberg, Jens %I Springer %K dblp %P 377-396 %T Model Checking Guided Abstraction and Analysis. %U http://dblp.uni-trier.de/db/conf/sas/sas2000.html#Saidi00 %V 1824 %@ 3-540-67668-6

@inproceedings{conf/sas/Saidi00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Saïdi, Hassen}, biburl = {https://www.bibsonomy.org/bibtex/2c8208edd94bd9abb940c75fed6e807be/dblp}, booktitle = {SAS}, crossref = {conf/sas/2000}, editor = {Palsberg, Jens}, ee = {https://doi.org/10.1007/978-3-540-45099-3_20}, interhash = {27b76b731ac833efcbe7d2966f953112}, intrahash = {c8208edd94bd9abb940c75fed6e807be}, isbn = {3-540-67668-6}, keywords = {dblp}, pages = {377-396}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:13.000+0200}, title = {Model Checking Guided Abstraction and Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2000.html#Saidi00}, volume = 1824, year = 2000 }