|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny |
PlanICS - a Web Service Composition Toolset.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny |
Parametric Model Checking with VerICS. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Niewiadomski, Wojciech Penczek, Maciej Szreter |
A New Approach to Model Checking of UML State Machines. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Niewiadomski, Wojciech Penczek, Maciej Szreter |
Towards Checking Parametric Reachability for UML State Machines. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |
VerICS 2007 - a Model Checker for Knowledge and Real-Time. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter |
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")