We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological realm.

Enhanced Operational Semantics in Systems Biology / Degano, Pierpaolo; Priami, Corrado. - ELETTRONICO. - (2003).

Enhanced Operational Semantics in Systems Biology

Priami, Corrado
2003-01-01

Abstract

We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological realm.
2003
Trento, Italia
Università degli Studi di Trento. DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY
Enhanced Operational Semantics in Systems Biology / Degano, Pierpaolo; Priami, Corrado. - ELETTRONICO. - (2003).
Degano, Pierpaolo; Priami, Corrado
File in questo prodotto:
File Dimensione Formato  
046.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 377.78 kB
Formato Adobe PDF
377.78 kB Adobe PDF Visualizza/Apri

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/358894
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact