Search alternatives:
languages » language
Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Controlling Semi-automatic Systems with FLUX -- The Language Model LMNtal...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Be Proved Correct? -- Probabilistic Acceptors for Languages over Infinite Words -- Automatic Verification...”