%0 Conference Paper %1 conf/mfcs/MakowskyR95 %A Makowsky, Johann A. %A Ravve, Elena V. %B MFCS %D 1995 %E Wiedermann, Jirí %E Hájek, Petr %I Springer %K dblp %P 540-551 %T Incremental Model Checking for Decomposable Structures (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs95.html#MakowskyR95 %V 969 %@ 3-540-60246-1

@inproceedings{conf/mfcs/MakowskyR95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Makowsky, Johann A. and Ravve, Elena V.}, biburl = {https://www.bibsonomy.org/bibtex/248bd077cf44df879f96c6d431bf755f4/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1995}, editor = {Wiedermann, Jirí and Hájek, Petr}, ee = {https://doi.org/10.1007/3-540-60246-1_159}, interhash = {8cb561a41cd5ab1ca4dc4f24c2ebbac5}, intrahash = {48bd077cf44df879f96c6d431bf755f4}, isbn = {3-540-60246-1}, keywords = {dblp}, pages = {540-551}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:12:46.000+0200}, title = {Incremental Model Checking for Decomposable Structures (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs95.html#MakowskyR95}, volume = 969, year = 1995 }