Number of items: 1.
University of Texas at Austin Prime National Science Foundation
Peled, Doron and Qu, Hongyang
(2006)
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.
doi:10.1142/S012905410600408X
ISSN 0129-0541.
This list was generated on Mon Mar 18 16:57:29 2024 GMT.