Dynamic Reactive Modules

Fisher J, Henzinger T, Nickovic D, Piterman N, Singh A, and Vardi M

Details

Publication typeProceedings
Published in22nd International Conference on Concurrency Theory, LNCS 6901, pp. 404–418
PublisherSpringer Verlag
> Publications > Dynamic Reactive Modules