From: Fang Wang (f_wang_at_ece.concordia.ca)
Date: Tue Jan 20 2004 - 14:45:14 MST
I'd like to know if there are some automatic reduction
methods in the VIS LTL model checking application.
If yes, how to deactivate them.
This archive was generated by hypermail 2.1.7 : Tue Jan 20 2004 - 14:46:37 MST