Search alternatives:
languages » language
automata » automated
Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Completeness Results for Fibred Parchments -- Use of Patterns in Formal Development: Systematic Transition from...”