Formal executable descriptions of biological systems

Curti, M.; Degano, P.; Prandi, Davide; Priami, Corrado; Quaglia, Paola; Brodo, L.

doi:10.1109/QEST.2005.13

Formal executable descriptions of biological systems

M. Curti;P. Degano;Prandi, Davide;Priami, Corrado;Quaglia, Paola;L. Brodo

2005-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2005
			
	Titolo del volume (Proceedings title)
	
				Proocedings of the Second International Conference on the Quantitative Evaluation of SysTems:
			
	Luogo di edizione (Place of publication)
	
				Los Alamitos (CA)
			
	Casa editrice (Publisher)
	
				IEEE Computer Society
			
	ISBN
	
				0769524273
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-33847268254
			
	Codice WOS (WOS identifier)
	
				WOS:000233240000001
			
	Tutti gli autori
	
						M., Curti; P., Degano; Prandi, Davide; Priami, Corrado; Quaglia, Paola; L., Brodo
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)