Confluence Competition 2019

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17502-3_2 ◽

2019 ◽

pp. 25-40 ◽

Cited By ~ 2

Author(s):

Aart Middeldorp ◽

Julian Nagele ◽

Kiraku Shintani

Download Full-text