DMCA

Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths (2009)

by Davide Bresolin , Valentin Goranko , Angelo Montanari , Guido Sciavicco
Venue:In Proc. of the 7th IEEE Int. Conference on Software Engineering and Formal Methods (SEFM
Citations:4 - 1 self