%0 Conference Paper %1 journals/entcs/FinkbeinerGP07 %A Finkbeiner, Bernd %A Gurevich, Yuri %A Petrenko, Alexander K. %B MBT %D 2007 %E Finkbeiner, Bernd %E Gurevich, Yuri %E Petrenko, Alexander K. %I Elsevier %K dblp %N 2 %P 1 %T Preface. %U http://dblp.uni-trier.de/db/conf/mbt/mbt2007.html#FinkbeinerGP07 %V 190

@inproceedings{journals/entcs/FinkbeinerGP07, added-at = {2023-01-31T00:00:00.000+0100}, author = {Finkbeiner, Bernd and Gurevich, Yuri and Petrenko, Alexander K.}, biburl = {https://www.bibsonomy.org/bibtex/253764b474526bc8a2d1db60e7a44e69c/dblp}, booktitle = {MBT}, crossref = {conf/mbt/2007}, editor = {Finkbeiner, Bernd and Gurevich, Yuri and Petrenko, Alexander K.}, ee = {https://www.wikidata.org/entity/Q62038627}, interhash = {ea61d9fcedf4a565fdf9f056ca6ce159}, intrahash = {53764b474526bc8a2d1db60e7a44e69c}, keywords = {dblp}, number = 2, pages = 1, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:28:56.000+0200}, title = {Preface.}, url = {http://dblp.uni-trier.de/db/conf/mbt/mbt2007.html#FinkbeinerGP07}, volume = 190, year = 2007 }