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 Wed Apr 23 21:52:28 2014 BST.