Technical Reports
A List by Author: Philippe Schnoebelen
- e-mail:
- phs(a)lsv.ens-cachan.fr
- home page:
- http://www.lsv.ens-cachan.fr/~phs/
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
by Antonín Kučera, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.
FIMU-RS-2004-05. Available as Postscript, PDF.
Abstract:
We introduce a generic family of behavioral relations for which the
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.