1-5 of 5 Books

Automata-Theoretic Aspects of Formal Power Series
By Arto Salomaa

Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992
By W. Kuich

Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)
By S. Biswas

Temporal logic in specification
By Howard Barringer