~tapaal-red/verifypn/rule-l

~tapaal-red/verifypn/rule-l » Changes to Documentation from revision 253

From Revision 253

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
47		updated documentation for rule B (missing condition) updated documentation for rule B (missing condition)	Jiri Srba	10 years ago
43		merged in a branch implementing -r switch merged in a branch implementing -r switch enabeling structural net reductions as preprocessing for the verification	Jiri Srba	10 years ago