DMCA

Modal Kleene Algebra and Partial Correctness (2003)

by Bernhard Möller , Georg Struth
Venue:INSTITUT FÜR INFORMATIK, UNIVERSITÄT AUGSBURG
Citations:7 - 7 self