Search alternatives:
spaces library » pages library, states library, spacy library
Cover Image
Read Now

1
Published 2015
Springer International Publishing
Table of Contents: “...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”