Logical Characterisation of Hybrid Conformance.

Maciej Gazda, Mohammad Reza Mousavi

Browse the full ICALP paper archive.