A Decision Procedure for CTL* Based on Tableaux and Automata - Sciweavers

30

click to vote

more CADE 2010 ...

www2.tcs.ifi.lmu.de

Tweet