Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Bresolin, Davide; Goranko, V.; Montanari, A.; Sciavicco, G.

doi:10.1109/SEFM.2009.36

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

BRESOLIN, DAVIDE;Goranko V.;Montanari A.;Sciavicco G.

2009

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno
	
				2009
			
	Titolo del Libro
	
				Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)
			
	Titolo convegno
	
				Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)
			
	Codice DOI
	
				https://dx.doi.org/10.1109/SEFM.2009.36
			
	Codice WOS
	
				WOS:000275404000024
			
	Codice Scopus
	
				2-s2.0-77749267933
			
	Codice ISBN
	
				9780769538709
			
	Appare nelle tipologie:
	
				04.01 - Contributo in atti di convegno