Original language | Undefined/Unknown |
---|---|
Publisher | Turku Centre for Computer Science |
Publication status | Published - 1999 |
MoE publication type | D4 Published development or research report or study |
Generalizing Action Systems to Hybrid Systems
Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor
Research output: Book/Journal/Report › Commissioned report › Professional