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
Partial-order, Models for Quantative Extensions of LOTOS
Katoen, J. P.
(Invited speaker)
Diego Latella (Invited speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
8 Oct 1996
Event title
IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, FORTE/PSTV 1996
Event type
Conference
Location
Kaiserslautern, Germany, Rhineland-Palatinate
Show on map
Degree of Recognition
International
X