A Labeled Natural Deduction System for a Fragment of CTL* - Sciweavers

26

click to vote

more LFCS 2009 ...

www.avantssar.eu

Tweet