Josepn M Ed. Proceeding on formal techaniques in real time and fault tolerant systems by Josepn M Ed. - Berlin Springer-Verlag 1988 - 229p. cm. - Lecture notes in computer science; 331 . Standard No.: 67780 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B)p1,N88, M8