%0 Thesis %1 phd/dnb/Fontaine12 %A Fontaine, Marc %D 2012 %K %T Ein Modelchecker für CSP-M.

@phdthesis{phd/dnb/Fontaine12, added-at = {2023-12-13T03:03:55.000+0100}, author = {Fontaine, Marc}, biburl = {https://www.bibsonomy.org/bibtex/252f3772512da70ac4f975fb3c1d257dc/admin}, ee = {http://d-nb.info/1018985085}, interhash = {87195a4e7f1960c309e47486731d6bde}, intrahash = {52f3772512da70ac4f975fb3c1d257dc}, keywords = {}, school = {Heinrich Heine University Düsseldorf}, timestamp = {2023-12-13T03:03:55.000+0100}, title = {Ein Modelchecker für CSP-M.}, year = 2012 }