Searching for "Recent Results on Automata and Infinite Words." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

[23] D. Peled, All from One, One for All: on Model Checking using Representatives, 5th
by D. Peled, S. Katz, A. Pnueli, Proving Serializability, Temporal Logic
…] D. Perrin, Recent Results on Automata and Infinite Words, Mathematical Foundations of Computer…
Add To MetaCart

Liste De Publications
by Dominique Perrin, A. De Santis — 1996
…). [43] D. Perrin. Recent results on automata and infinite words. In Mathematical Foundations of Computer…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB