Name
Title | ||
|---|---|---|
Structural Invariants for the Verification of Systems with Parameterized Architectures. |
Abstract | ||
|---|---|---|
We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1007/978-3-030-45190-5_13 | European Joint Conferences on Theory And Practice of Software |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marius Bozga | 1 | 2100 | 127.83 |
| Esparza Javier | 2 | 0 | 0.34 |
| Radu Iosif | 3 | 483 | 42.44 |
| Joseph Sifakis | 4 | 6064 | 814.75 |
| Welzel Christoph | 5 | 0 | 0.34 |