Infinity'97, Second International Workshop on Verification of Infinite State Systems
Bologna, Italy, July 11-12, 1997
: Verifying invariants by approximate image computation.
: Model checking rationally restricted right closures of recognizable graphs.
: Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem.