%0 Book Section %1 Leuschel2008a %A Leuschel, Michael %A Fontaine, Marc %B Formal Methods and Software Engineering %D 2008 %E Liu, Shaoying %E Maibaum, Tom %E Araki, Keijiro %I Springer Berlin / Heidelberg %K %P 278-297 %T Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool %U http://dx.doi.org/10.1007/978-3-540-88194-0_18 %V 5256

@incollection{Leuschel2008a, added-at = {2010-12-02T00:41:39.000+0100}, affiliation = {Universität Düsseldorf Institut für Informatik Universitätsstr. 1 D-40225 Düsseldorf}, author = {Leuschel, Michael and Fontaine, Marc}, biburl = {https://www.bibsonomy.org/bibtex/235f8abed34d9f95ba5a3b1f5f775a5c7/tasawer}, booktitle = {Formal Methods and Software Engineering}, editor = {Liu, Shaoying and Maibaum, Tom and Araki, Keijiro}, interhash = {38cf7ff27e2842ca894ba15342724819}, intrahash = {35f8abed34d9f95ba5a3b1f5f775a5c7}, keywords = {}, note = {10.1007/978-3-540-88194-0_18}, pages = {278-297}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2010-12-02T00:41:39.000+0100}, title = {Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool}, url = {http://dx.doi.org/10.1007/978-3-540-88194-0_18}, volume = 5256, year = 2008 }