~tapaal-ltl/verifypn/rule-D-fix

• Changes
• Files

~tapaal-ltl/verifypn/rule-D-fix » Changes to Documentation from revision 241

From Revision 241

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

Loggerhead is a web-based interface for Breezy
Version: 2.0.1