the following papers are available on our server
= dvi format
= ps format
= tex format 
= pdf format
structural_symmetries_and_model_checking
Go back to the directory of pre and reprints.
Or search the database by keywords
Or look for the newest entires in the database