The following pages link to (Q2763984):
Displaying 3 items.
- Data model descriptions and translation signatures in a multi-model framework (Q429441) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)