Back to Results
First PageMeta Content
Diagrams / Petri net / Gene regulatory network / Model checking / Petri / Attractor / Actor model / Chaos theory / Computer science / Concurrency / Networks / Systems biology


Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau
Add to Reading List

Document Date: 2014-10-11 13:14:14

Open Document

File Size: 286,75 KB

Share Result on Facebook

City

Cachan / /

Country

France / Mexico / /

IndustryTerm

gene regulatory networks / automata networks / regulatory networks / biological networks / /

OperatingSystem

Unix / /

Person

Stefan Haar / Laurent Fribourg / /

Position

General / Advisors / Head / /

PublishedMedium

Theoretical Computer Science / /

Technology

comparing existing algorithms / Unix / adapting existing algorithms / pdf / /

URL

http /

SocialTag