Bruno Dutertre and Maria Sorea. Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata. In Formal Techniques in Real-Time and FaultTolerant Systems, volume 3253 of Lecture Notes in Computer Science, pages 199--214, Grenoble, France, September 2004. Springer-Verlag. Available at http://fm.csl.sri.com/doc/ abstracts/ftrtft04. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Sal 2 - de Moura, Owre, Rueß, Rushby.. (2004) Self-citation (Sorea) (Correct)
No context found.
Dutertre, B., Sorea, M.: Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata. Submitted for publication (2004)
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
Bruno Dutertre and Maria Sorea. Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata. In Formal Techniques in Real-Time and FaultTolerant Systems, volume 3253 of Lecture Notes in Computer Science, pages 199--214, Grenoble, France, September 2004. Springer-Verlag. Available at http://fm.csl.sri.com/doc/ abstracts/ftrtft04.
The Formal Verification of a Reintegration Protocol - Pike, Johnson (2005) (Correct)
No context found.
B. Dutertre and M. Sorea. Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata. In FTRTFT, volume 3253 of LNCS, pages 199--214, Sept. 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC