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;
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
DOI :
10.1109/PDMC-HiBi.2010.1
