(Q54485041)
Statements
Models, Algorithms, Logics and Tools (English)
0 references
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (English)
0 references
2017
0 references
Identifiers
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
18 October 2020
1 reference