A place for some random information#
What About Autonomous Satellite (Best Paper)
·158 words
Results of the 2020 Model Checking Contest
·200 words
MCC Tool at Petri 2020 (Best Teaser Video)
·163 words
The Moose Have Retired
·301 words
Short Bio
·150 words