Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
The Application of Promela and SPIN in the BOS Project
W.T.M. Kars (Invited speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
5 Aug 1996
Event title
2nd SPIN Workshop 1996
Event type
Conference
Location
New Brunswick, United States, New Jersey
Show on map
Degree of Recognition
International
X