Jan Vytopil (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8

Hans Langmaack, Willem P. de Roever, Jan Vytopil: Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings Springer 1994

Selection of 1 from 8 records - Jan Vytopil has 8 coauthors