%0 Journal Article %1 journals/dagstuhl-manifestos/KreikerTVW11 %A Kreiker, Jörg %A Tarlecki, Andrzej %A Vardi, Moshe Y. %A Wilhelm, Reinhard %D 2011 %J Dagstuhl Manifestos %K dblp %N 1 %P 21-40 %T Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). %U http://dblp.uni-trier.de/db/journals/dagstuhl-manifestos/dagstuhl-manifestos1.html#KreikerTVW11 %V 1

@article{journals/dagstuhl-manifestos/KreikerTVW11, added-at = {2014-07-18T00:00:00.000+0200}, author = {Kreiker, Jörg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard}, biburl = {https://www.bibsonomy.org/bibtex/295095cafac293ec05dde3406155f9fb0/dblp}, ee = {http://dx.doi.org/10.4230/DagMan.1.1.21}, interhash = {4809b254652512a5aaf884710e5a7fe7}, intrahash = {95095cafac293ec05dde3406155f9fb0}, journal = {Dagstuhl Manifestos}, keywords = {dblp}, number = 1, pages = {21-40}, timestamp = {2015-06-17T22:43:29.000+0200}, title = {Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-manifestos/dagstuhl-manifestos1.html#KreikerTVW11}, volume = 1, year = 2011 }