toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume (up) Pages Links
Bucciarelli, Antonio; Salvo, Ivano Totality, Definability and Boolean Circuits 1998 Springer 10.1007/BFb0055104 1443 808-819 details   pdf doi
Charme 2003 Lecture Notes in Computer Science Springer 3-540-20363-X 10.1007/b93958 2860 details   file doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: