Skip to content

A Formal Specification of the Hormone Loop of an Artificial Hormone System.

Mathias Pacher, Uwe Brinkschulte

VenueAUSENIX
Year2013
ProceedingsESOS

Browse the full USENIX paper archive.