C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Louis Chauvet
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Mutual Exclusion
Case Study
Software Tools
Cooperative
Top Venues
Petri Nets
</>
Publications
</>
Nicolas Amat
,
Louis Chauvet
Kong: A Tool to Squash Concurrent Places.
Petri Nets
(2022)