Parameterized model checking of rendezvous systems. (Q59605462)
scientific article published on 6 June 2017
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Parameterized model checking of rendezvous systems. |
scientific article published on 6 June 2017 |
Statements
Parameterized model checking of rendezvous systems (English)
Benjamin Aminof
Tomer Kotek
1 reference
