Steffen Zschaler, Francisco Durán 0001. GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics. In Robert Heinrich, Francisco Durán 0001, Carolyn L. Talcott, Steffen Zschaler, editors, Composing Model-Based Analysis Tools. pages 189-215, Springer, 2021. [doi]
Abstract is missing.