| Home | [1–10] << 11 12 13 14 15 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume  |
Pages |
|---|---|---|---|---|---|---|---|---|---|
| Bucciarelli, Antonio; Salvo, Ivano | Totality, Definability and Boolean Circuits | 1998 | Springer | 10.1007/BFb0055104 | 1443 | 808-819 | |||
| Charme | 2003 | Lecture Notes in Computer Science | Springer | 3-540-20363-X | 10.1007/b93958 | 2860 | |||
| Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti | Computing Biological Model Parameters by Parallel Statistical Model Checking | 2015 | International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) | 10.1007/978-3-319-16480-9_52 | 9044 | 542-554 |