DocumentCode
2297298
Title
[Title page i]
fYear
2010
fDate
Sept. 30 2010-Oct. 1 2010
Abstract
The following topics are dealt with: parallel processing; distributed processing; formal verification; and computational systems biology.
Keywords
biology computing; distributed processing; formal verification; computational systems biology; distributed processing; formal verification; parallel processing;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and High Performance Computational Systems Biology, Second International Workshop on
Conference_Location
Enschede
Print_ISBN
978-0-7695-4265-2
Type
conf
DOI
10.1109/PDMC-HiBi.2010.1
Filename
5698481
Link To Document