Reasoning of real-time distributed programming languages

R.K. Shyamasundar, J.J.M. Hooman, R.T. Gerth

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings Fifth International Workshop on Software Specification and Design (Pittsburgh PA, USA, May 1989)
PublisherIEEE Computer Society
Pages91-99
Publication statusPublished - 1989

Cite this