%0 Conference Paper %1 conf/ftrtft/CoesmansW92 %A Coesmans, Peter %A Wieczorek, Martin J. %B FTRTFT %D 1992 %E Vytopil, Jan %I Springer %K dblp %P 571-590 %T Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1992.html#CoesmansW92 %V 571 %@ 3-540-55092-5

@inproceedings{conf/ftrtft/CoesmansW92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Coesmans, Peter and Wieczorek, Martin J.}, biburl = {https://www.bibsonomy.org/bibtex/2a1515fa4e7a3b8424cf80165f9328153/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1992}, editor = {Vytopil, Jan}, ee = {https://doi.org/10.1007/3-540-55092-5_31}, interhash = {6e12e9033c18f1215e78275900c026a3}, intrahash = {a1515fa4e7a3b8424cf80165f9328153}, isbn = {3-540-55092-5}, keywords = {dblp}, pages = {571-590}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:25:16.000+0200}, title = {Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1992.html#CoesmansW92}, volume = 571, year = 1992 }