2
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... with reverse engineering -- On finite representations of infinite-state behaviours -- Efficient strong...