The following pages link to (Q4003214):
Displaying 5 items.
- Simplification of a complex signal transduction model using invariants and flow equivalent servers (Q652148) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- On the parameterized complexity of the synthesis of Boolean nets with restricted place environments (Q2235733) (← links)
- (Q5019696) (← links)
- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (Q5300879) (← links)