DMCA

Compositional Reasoning for Processes and Data

by Till Mossakowski , Markus Roggenbach
Citations:1 - 1 self