The Library
Browse by Funded research at the University of Warwick
Up a level |
Jump to: Conference Item
Number of items: 1.
Conference Item
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.