Login / Signup
Jan Tretmans
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 10
Top Topics
Coloured Petri Nets
Transition Systems
Test Cases
Sequence Diagrams
Top Venues
CoRR
Mach. Learn.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
ICTSS
</>
Publications
</>