Verification and error correction on High-Level Decision Diagrams
author
statement of authorship
Anton Karputkin
location of publication
Saarbrücken
publisher
year of publication
pages
124 p. : ill
subject term
ISBN
978-3-659-35570-7
TTÜ department
language
inglise
Karputkin, A. Verification and error correction on High-Level Decision Diagrams. Saarbrücken : Lambert Academic Publishing, 2013. 124 p. : ill.