W. P. De Roever

Books by W. P. De Roever

Total count: 7

• Linear Time, Branching Time, and Partial Order in Logics and Models for ConcurrencySchool/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)

  Springer1989-07-01
• Stepwise Refinement of Distributed Systems: Models, Formalisms, CorrectnessProceedings (Lecture Notes in Computer Science)

  Springer1990-06-01
• Foundations of Object-Oriented LanguagesRex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 (Lecture Notes in Computer Science)

  Springer1991-05-01
• Real-Time: Theory in PracticeRex Workshop Mook, the Netherlands, June 1991 Proceedings (Lecture Notes in Computer Science)

  Springer1992-08-01
• Semantics: Foundations and ApplicationsRex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings (Lecture Notes in Computer Science)

  Springer1993-06-01
• A Decade of Concurrency: Reflections and Perspectives : Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993Proceedings (Lecture Notes in Computer Science)

  Springer1994-08-01
• Formal Techniques in Real-Time and Fault-Tolerant SystemsThird International Symposium Organized Jointly With the Working Group Provably Correct S (Lecture Notes in Computer Science)

  Springer1994-09-01