![](/img/cover-not-exists.png)
[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Bresolin, Davide, Goranko, Valentin, Montanari, Angelo, Sciavicco, GuidoYear:
2009
Language:
english
DOI:
10.1109/sefm.2009.36
File:
PDF, 365 KB
english, 2009