D4.A — Logical Characterisation of Hybrid Conformance

ICALP 2020

D4.A — Logical Characterisation of Hybrid Conformance

Sep 23, 2020
|
25 views
Details
ICALP-B 2020 Logical Characterisation of Hybrid Conformance Maciej Gazda and Mohammadreza Mousavi

Comments
loading...