Peled, Doron and Qu, Hongyang
Enforcing concurrent temporal behaviors.
In: 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004), Taipei, Taiwan, Nov, 2004. Published in: International Journal of Foundations of Computer Science, Vol.17
(No.4). pp. 743-761.
This list was generated on Thu Oct 23 20:19:21 2014 BST.