%0 Conference Paper %1 conf/ipps/BohmE04 %A Böhm, Sabine M. %A Echtle, Klaus %B IPDPS %D 2004 %I IEEE Computer Society %K dblp %T State Space Reduction in SDL Models of Fault-Tolerant Systems. %U http://dblp.uni-trier.de/db/conf/ipps/ipdps2004-w11.html#BohmE04 %@ 0-7695-2132-0

@inproceedings{conf/ipps/BohmE04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Böhm, Sabine M. and Echtle, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/2399a47aea2ede0735a5e03d241c714af/dblp}, booktitle = {IPDPS}, crossref = {conf/ipps/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/IPDPS.2004.1303233}, interhash = {fcf7abca42d421ca6a38435c11265727}, intrahash = {399a47aea2ede0735a5e03d241c714af}, isbn = {0-7695-2132-0}, keywords = {dblp}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:25:41.000+0200}, title = {State Space Reduction in SDL Models of Fault-Tolerant Systems.}, url = {http://dblp.uni-trier.de/db/conf/ipps/ipdps2004-w11.html#BohmE04}, year = 2004 }