%0 Conference Paper %1 conf/parle/SchepersH93 %A Schepers, Henk %A Hooman, Jozef %B PARLE %D 1993 %E Bode, Arndt %E Reeve, Mike %E Wolf, Gottfried %I Springer %K dblp %P 197-208 %T Trace-Based Compositional Reasoning about Fault Tolerant Systems. %U http://dblp.uni-trier.de/db/conf/parle/parle93.html#SchepersH93 %V 694 %@ 3-540-56891-3

@inproceedings{conf/parle/SchepersH93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Schepers, Henk and Hooman, Jozef}, biburl = {https://www.bibsonomy.org/bibtex/26960b4824615dcd5c0eb86d288409f7f/dblp}, booktitle = {PARLE}, crossref = {conf/parle/1993}, editor = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried}, ee = {https://doi.org/10.1007/3-540-56891-3_16}, interhash = {a502fe79192eb8203303dd969b7aff42}, intrahash = {6960b4824615dcd5c0eb86d288409f7f}, isbn = {3-540-56891-3}, keywords = {dblp}, pages = {197-208}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:33:16.000+0200}, title = {Trace-Based Compositional Reasoning about Fault Tolerant Systems.}, url = {http://dblp.uni-trier.de/db/conf/parle/parle93.html#SchepersH93}, volume = 694, year = 1993 }