Back to Results
First PageMeta Content
Petri net / Model checking / Gene regulatory network / Petri / Actor model / Computer science / Computing / Science / Concurrency / Networks / Diagrams


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

Document Date: 2014-10-11 13:18:54

Open Document

File Size: 285,58 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