Skip to main navigation
Skip to search
Skip to main content
Aalto University's research portal Home
Accessibility statement
English
Suomi
Home
Profiles
Research output
Datasets
Projects
Prizes
Activities
Press / Media
Infrastructure
Research Units
Impacts
Search by expertise, name or affiliation
Distinguished Artifact Award at TACAS 2018
Tripakis, Stavros
(Recipient)
Helsinki Institute for Information Technology (HIIT)
Department of Computer Science
Prize
:
Award or honor granted for a specific work
Description
Distinguished Artifact Award at TACAS 2018 for paper "The Refinement Calculus of Reactive Systems Toolset".
Awarded date
2018
Documents & Links
tacas_award
File
:
image/png, 389 KB
Type
:
Text
