LEADER 01486nam  2200349   450 
001 9910141033403321
005 20230425221732.0
035   $a(CKB)2670000000070657
035   $a(NjHacI)992670000000070657
035   $a(EXLCZ)992670000000070657
100   $a20230425d2010      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology /$fInstitute of Electrical and Electronics Engineers
210  1$aPiscataway, N.J. :$cIEEE,$d2010.
215   $a1 online resource $cillustrations
311   $a1-4244-8753-6 
311   $a0-7695-4265-4 
320   $aIncludes bibliographical references.
517   $aParallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and  Second International Workshop on High Performance Computational Systems Biology
606   $aComputer programs$xVerification
615  0$aComputer programs$xVerification.
676   $a005.1
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a9910141033403321
996   $a2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology$92310750
997   $aUNINA