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
Number of items: 1.

Demri, Stéphane P., 1967- and Lazic, Ranko. (2009) LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), Vol.10 (No.3). p. 16. ISSN 1529-3785

This list was generated on Sat May 25 11:17:13 2013 BST.