Paper Description: MIP-9719
BibTeX entry:
@incollection{MIP-9719,
author="Th. Sturm"
title=" Reasoning over Networks by Symbolic Methods",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik,
Universit{\"a}t Passau",
year=1997,
number={MIP-9719}
}
Abstract: (see paper itself)
Paper itself:
Cross links:
Ulrike Peiker, Martin Griebl