Search alternatives:
automata » automated
Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Non-speculative and upward invocation of continuations in a parallel language -- A model inference...”
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...”