%0 Conference Paper %1 conf/tacas/MossakowskiML07 %A Mossakowski, Till %A Maeder, Christian %A Lüttich, Klaus %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K %P 519-522 %T The Heterogeneous Tool Set, Hets. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#MossakowskiML07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/MossakowskiML07, added-at = {2023-12-12T17:44:09.000+0100}, author = {Mossakowski, Till and Maeder, Christian and Lüttich, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/26675b013f0ae6ba3dd36520f702bbd8b/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, editor = {Grumberg, Orna and Huth, Michael}, ee = {https://doi.org/10.1007/978-3-540-71209-1_40}, interhash = {07f990e3c582525ee6661dce0c39af89}, intrahash = {6675b013f0ae6ba3dd36520f702bbd8b}, isbn = {978-3-540-71208-4}, keywords = {}, pages = {519-522}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:44:09.000+0100}, title = {The Heterogeneous Tool Set, Hets.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#MossakowskiML07}, volume = 4424, year = 2007 }