CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014
Peron Adriano
,
Carla Piazza
2014-01-01
Cite
URL
Publication
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Related
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE
Draft genome sequences of 14 Lacticaseibacillus spp. strains, representatives of a collection of 200 strains
Draft genome sequences of 14 Lacticaseibacillus spp. strains, representatives of a collection of 200 strains
Neural Networks Reduction via Lumping
Cite
×