| |
| 2008 | ||
|---|---|---|
| 2 | EE | Ruzica Piskac, Viktor Kuncak: Decision Procedures for Multisets with Cardinality Constraints. VMCAI 2008: 218-232 |
| 2005 | ||
| 1 | EE | Hans de Nivelle, Ruzica Piskac: Verification of an Off-Line Checker for Priority Queues. SEFM 2005: 210-219 |
| 1 | Viktor Kuncak | [2] |
| 2 | Hans de Nivelle | [1] |