Loading...

More from W.-P. de Roever

cover of Data refinement
cover of Real-time, theory in practice
cover of Stepwise refinement of distributed systems
cover of Foundations of object-oriented languages
cover of Semantics
cover of A Decade of concurrency
cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Formal Techniques in Real-Time and Fault-Tolerant Systems

cover of Current Trends in Concurrency
the BiblioNest logo

The BiblioNest. Curate your collection, your way.

ExploreLibraryAbout

© 2026 Ann Mathenge · Built with love, coffee, and cat hair.