External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Experimental Biological Protocols with Formal Semantics

Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov. Experimental Biological Protocols with Formal Semantics. In Milan Ceska 0001, David Safránek, editors, Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings. Volume 11095 of Lecture Notes in Computer Science, pages 165-182, Springer, 2018. [doi]

Authors

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google

Luca Cardelli

This author has not been identified. It may be one of the following persons: Look up 'Luca Cardelli' in Google

Marta Kwiatkowska

This author has not been identified. It may be one of the following persons: Look up 'Marta Kwiatkowska' in Google

Luca Laurenti

This author has not been identified. Look up 'Luca Laurenti' in Google

Boyan Yordanov

This author has not been identified. Look up 'Boyan Yordanov' in Google
runs on