Modal Kleene Algebra And Applications -- A Survey (2004)

by Jules Desharnais , Bernhard Möller , Georg Struth
Citations:11 - 5 self