Record Beta

Formal Methods in Macro-Biology

https://id.confref.org/data/confref-portal/event/fmmb2014

rdf:type	portal:Conference
schema:location	New Caledonia (wd:Q33788)
rdfs:label	Formal Methods in Macro-Biology
portal:acronym	FMMB
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Nouméa
portal:country	New Caledonia
portal:endDate	2014-09-24
portal:keyword	Analysis
portal:keyword	Behavioural Equivalences
portal:keyword	Biology
portal:keyword	Gene regulatory networks
portal:keyword	Haldane model
portal:keyword	Hybrid automata
portal:keyword	Hybrid systems
portal:keyword	biodiversity theory
portal:keyword	bioreactor
portal:keyword	completion
portal:keyword	control
portal:keyword	coral reefs
portal:keyword	coral trout
portal:keyword	differential inclusions
portal:keyword	electrophysiology
portal:keyword	fish assemblages
portal:keyword	fish population dynamics
portal:keyword	glucose repression
portal:keyword	habitat
portal:name	Formal Methods in Macro-Biology
portal:portalPage	http://portal.confref.org/list/fmmb2014
portal:series	https://id.confref.org/data/confref-portal/series/fmmb
portal:startDate	2014-09-22
portal:submissionExtended	false
portal:year	2014
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/fmmb/fmmb2014

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.