2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Christopher J. Banks, Ian Stark
Logic of Behaviour in Context (LBC) is a spatio-temporal logic for expressing properties of continuous-state processes, such as biochemical reaction networks. LBC builds on the exi…