CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface
Adriano Peron
,
Carla Piazza
2017-01-01
Cite
DOI
URL
Type
Journal article
Publication
INFORMATION AND COMPUTATION
Theoretical Computer Science; Information Systems; Computer Science Applications1707 Computer Vision and Pattern Recognition; Computational Theory and Mathematics
Related
The taming (timing) of the states
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
Cite
×