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 Tue Jun 18 23:52:31 2013 BST.