software & systems modeling (6)
biosystems (5)
development (09501991) (4)
international journal of foundations of computer science (4)
development (2)
developmental biology (2)
ieee/acm transactions on computational biology & bioinformatics (2)
journal of cell science (2)
journal of computational biology (2)
journal of the royal society interface (2)
nature cell biology (2)
new journal of physics (2)
software and systems modeling (2)
2013 ieee 9th international conference on e-science (1)
2013 ieee 9th international conference on e-science, escience (escience), 2013 ieee 9th international conference on (1)
2019 international symposium on vlsi design, automation and test (vlsi-dat), vlsi design, automation and test (vlsi-dat), 2019 international symposium on (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2023 ieee international symposium on circuits and systems (iscas), circuits and systems (iscas), 2023 ieee international symposium on (1)
acm / sigplan notices (1)
advanced intelligent systems (2640-4567) (1)
automated technology for verification & analysis (1)
companion of the 17th annual acm sigplan conference: object-oriented programming, systems, languages & applications (1)
companion of the 18th annual acm sigplan conference: object-oriented programming, systems, languages & applications (1)
companion to the 22nd acm sigplan conference: object-oriented programming systems & applications companion (1)
computational methods in systems biology (1)
computational methods in systems biology: 13th international conference, cmsb 2015, nantes, france, september 16-18, 2015, proceedings (1)
computer aided verification (1)
computer aided verification (9783319088662) (1)
dna computing & molecular programming (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
formal methods in software & systems modeling (1)
fundamental approaches to software engineering (9783540712886) (1)
fundamental approaches to software engineering (9783642005923) (1)
future play conference proceedings (1)
implementation and application of automata (london, on, 2000) (1)
leveraging applications of formal methods, verification & validation: discussion, dissemination, applications (1)
leveraging applications of formal methods, verification and validation. part ii. verification (1)
modelling in molecular biology (1)
molecular reproduction & development (1)
molecular reproduction and development (1)
nasa formal methods (1)
npj systems biology and applications (1)
perspectives in concurrency theory (1)
proceedings of the 17th acm sigplan conference: object-oriented programming, systems, languages & applications (1)
proceedings of the 2008 conference: future play (1)
scenarios: models, transformations & tools (1)
sofsem 2023: theory and practice of computer science (1)
tools & algorithms for the construction & analysis of systems (9783540253334) (1)
verification, model checking, and abstract interpretation (1)