Control Flow Analysis for BioAmbients

Nielson, F.; Riis Nielson, H.; Priami, Corrado; Schuch Da Rosa, Debora

doi:10.1016/j.entcs.2004.01.041

Control Flow Analysis for BioAmbients

F. Nielson;H. Riis Nielson;Priami, Corrado;Schuch Da Rosa, Debora

2007-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2007
			
	Titolo del periodico (Journal title)
	
				ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
			
	Numero e parte del fascicolo (Issue number and part)
	
				3
			
	DOI
	
				https://dx.doi.org/10.1016/j.entcs.2004.01.041
			
	Codice Scopus (Scopus identifier)
	
				2-s2.0-34447264060
			
	Tutti gli autori
	
						F., Nielson; H., Riis Nielson; Priami, Corrado; Schuch Da Rosa, Debora
					
	Appare nelle tipologie:
	
				03.1 Articolo su rivista (Journal article)