01486nam 2200349 450 991014103340332120230425221732.0(CKB)2670000000070657(NjHacI)992670000000070657(EXLCZ)99267000000007065720230425d2010 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology /Institute of Electrical and Electronics EngineersPiscataway, N.J. :IEEE,2010.1 online resource illustrations1-4244-8753-6 0-7695-4265-4 Includes bibliographical references.Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and Second International Workshop on High Performance Computational Systems BiologyComputer programsVerificationComputer programsVerification.005.1NjHacINjHaclPROCEEDING99101410334033212010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology2310750UNINA