(2020). A Practical Theory of Reactive Systems. Springer Berlin Heidelberg.
Dyfyniad Arddull ChicagoA Practical Theory of Reactive Systems. Springer Berlin Heidelberg, 2020.
Dyfyniad MLAA Practical Theory of Reactive Systems. Springer Berlin Heidelberg, 2020.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.