The following pages link to (Q5452300):
Displaying 16 items.
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)
- Efficient approximate verification of B and Z models via symmetry markers (Q622591) (← links)
- Synchronizing relations on words (Q905682) (← links)
- Highly-fair bakery algorithm using symmetric tokens (Q1675821) (← links)
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems (Q1749143) (← links)
- Determinization and limit-determinization of Emerson-Lei automata (Q2147175) (← links)
- Alternative representations of P systems solutions to the graph colouring problem (Q2299885) (← links)
- 3-Col problem modelling using simple kernel P systems (Q2852135) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
- Model-Checking Helena Ensembles with Spin (Q2945715) (← links)
- Directed Model Checking for B: An Evaluation and New Techniques (Q2999306) (← links)
- FORMAL VERIFICATION OF <font>P</font> SYSTEMS USING SPIN (Q3076605) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Formal Model–Driven Design of Distributed Algorithms (Q5170275) (← links)