Generalizing Action Systems to Hybrid Systems

Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

17 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publication6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000
EditorsM Joseph
PublisherSpringer-Verlag
Pages202–213
Publication statusPublished - 2000
MoE publication typeA4 Article in a conference publication
Eventconference -
Duration: 1 Jan 2010 → …

Conference

Conferenceconference
Period01/01/10 → …

Cite this