Items where authors include "Ciardo, G."

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Ciardo, G., Lüttgen, G. and Miner, A.S. (2007) Exploiting interleaving semantics in symbolic state-space generation. Formal Methods in System Design, 31 (1). pp. 63-100. ISSN 0925-9856

This list was generated on Sat Apr 13 11:09:29 2024 BST.