Title: Formal methods for computational systems biology
First published: 2008
Subjects: Congresses, Formal methods (Computer science), Verification, Integrated circuits, System design
LC classification: QA76.9.F67 .I586 2008