[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

MU.pvs



I don't find the file MU.pvs in my directory pvs/lib/ (when trying to reproduce example in
chap 4 p54 State Transition Systems and SCR Requirements Specifications)
 
                                                        JF Molderez (jfm@cetic.be)