Search alternatives:
automatic theorem » automated theorem, automata theory
languages » language
Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Unique fixpoints in complete lattices with applications to formal languages and semantics -- On abstract...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network...”