Dynamic Reactive Modules
Fisher J., Henzinger T., Nickovic D., Piterman N., Singh A., and Vardi M.
September 2011
 PDF file |
In 22nd International Conference on Concurrency Theory, LNCS 6901, pp. 404–418
Publisher Springer Verlag
Details
| Type | Proceedings |
Related People
Share
