Formal Development of Reactive Systems - Case Study Production Cell

Claus Lewerentz, Thomas Lindner, editors, Formal Development of Reactive Systems - Case Study Production Cell. Volume 891 of Lecture Notes in Computer Science, Springer, 1995.

Conference: korso1995

Bibliographies