Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System.

Sun, 01 Jan 2012 00:00:00 +0100

Yoshinori Neya, Noriaki Yoshiura:
Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System. ICFEM 2012: 283-298