The Library

Browse by Funders

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Author | No Grouping
Jump to: Journal Article
Number of items: 1.

Journal Article

Lazic, Ranko. (2011) Safety alternating automata on data words. ACM Transactions on Computational Logic (TOCL), Vol.12 (No.2). pp. 1-24. ISSN 1529-3785

This list was generated on Sat May 25 16:42:25 2013 BST.