%0 Conference Paper %1 conf/icfem/LeuschelF08 %A Leuschel, Michael %A Fontaine, Marc %B ICFEM %D 2008 %E Liu, Shaoying %E Maibaum, T. S. E. %E Araki, Keijiro %I Springer %K %P 278-297 %T Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2008.html#LeuschelF08 %V 5256 %@ 978-3-540-88193-3

@inproceedings{conf/icfem/LeuschelF08, added-at = {2023-12-12T21:04:53.000+0100}, author = {Leuschel, Michael and Fontaine, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2a40fa865b20ba7cf81271b13fa1e2839/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2008}, editor = {Liu, Shaoying and Maibaum, T. S. E. and Araki, Keijiro}, ee = {https://doi.org/10.1007/978-3-540-88194-0_18}, interhash = {38cf7ff27e2842ca894ba15342724819}, intrahash = {a40fa865b20ba7cf81271b13fa1e2839}, isbn = {978-3-540-88193-3}, keywords = {}, pages = {278-297}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:04:53.000+0100}, title = {Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2008.html#LeuschelF08}, volume = 5256, year = 2008 }