TY  - JOUR

T1  - Deriving real-time action systems with multiple time bands using algebraic reasoning

JO  - Science of Computer Programming

PY  - 2014/01/01

AU  - Dongol B

AU  - Derrick J

AU  - Hayes IJ

ED  - 

DO  - DOI: 10.1016/j.scico.2013.08.009

Y2  - 2026/01/25

ER  -