Coordination Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_25 ◽

2010 ◽

pp. 305-319 ◽

Cited By ~ 15

Author(s):

Bernd Finkbeiner ◽

Sven Schewe

Download Full-text