Preview
Unable to display preview. Download preview PDF.
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cerny, E., Corella, F., Langevin, M., Song, X., Tahar, S., Zhou, Z. (1997). Automated verification with abstract state machines using multiway decision graphs. In: Kropf, T. (eds) Formal Hardware Verification. Lecture Notes in Computer Science, vol 1287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63475-4_2
Download citation
DOI: https://doi.org/10.1007/3-540-63475-4_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63475-1
Online ISBN: 978-3-540-69577-6
eBook Packages: Springer Book Archive