Formal specification and validation of a vital protocol

Cimatti, A.; Pieraccini, P.; Sebastiani, Roberto; Traverso, P.; Villafiorita, A.

Formal specification and validation of a vital protocol

A. Cimatti;P. Pieraccini;Sebastiani, Roberto;P. Traverso;A. Villafiorita

1999-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				1999
			
	Titolo del volume (Proceedings title)
	
				Formal Specification and Validation of a Vital Communication Protocol
			
	Luogo di edizione (Place of publication)
	
				Berlin
			
	Casa editrice (Publisher)
	
				Springer Verlag
			
	ISBN
	
				3540665889
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-84949508301
			
	Codice WOS (WOS identifier)
	
				WOS:000088219200034
			
	Tutti gli autori
	
						A., Cimatti; P., Pieraccini; Sebastiani, Roberto; P., Traverso; A., Villafiorita
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)

File in questo prodotto:

Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/77812

Citazioni

ND

6

3

ND

Nome	Dominio	Durata	Descrizione
s_.*	plu.mx	sessione	recupero grafico citazioni sociali da plumx
A_.*	core.ac.uk	7 giorni	recupero pubblicazioni consigliate per il pannello core-recommander
GS_.*	gstatic.com	richiesta http	visualizza grafico citazioni
CC_.*	creativecommons.org	richiesta http	visualizza licenza bitstream

Formal specification and validation of a vital protocol

A. Cimatti;P. Pieraccini;Sebastiani, Roberto;P. Traverso;A. Villafiorita

1999-01-01

Scheda breve Scheda completa Scheda completa (DC)

Informazioni

Citazioni

social impact

Conferma cancellazione

Scheda breve

Scheda completa

Scheda completa (DC)