Intuitionistic LTL and a New Characterization of Safety and Liveness - Sciweavers

30

click to vote

more CSL 2004 ...

homepages.inf.ed.ac.uk

Tweet