Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Search content at University of Twente Research Information
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
LOTOS: A process-algebraic application for the specification of distributed systems
Brinksma, H.
(Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
4 tutorial lectures
Period
30 Aug 1990
Held at
University of Twente
X