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 Dec 10 17:52:48 2013 GMT.