|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Natalia Olegovna Garanina, Eugene V. Bodin, Elena A. Sidorova |
An Approach to Model Checking of Multi-agent Data Analysis. |
MOD* |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. |
MOD* |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Gianluigi Zavattaro |
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. |
MOD* |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Masaya Suzuki, Takuo Watanabe |
A Language Support for Exhaustive Fault-Injection in Message-Passing System Models. |
MOD* |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara (eds.) |
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. |
MOD* |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|