Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts.

Author/creator Geurts, Frédéric
Format Book
Publication InfoBerlin ; New York : Springer, ©1998.
Descriptionxiv, 280 pages : illustrations ; 24 cm.
Subjects

SeriesLecture notes in computer science ; 1426
Lecture notes in computer science 1426. ^A466336
Bibliography noteIncludes bibliographical references (p. [257]-272) and index.
LCCN 99010039
ISBN3540655069 (pbk. : alk. paper)