| |
| 2008 | ||
|---|---|---|
| 3 | Lubomir Ivanov: Modeling Non-Iterated System Behavior with Chu Spaces. CDES 2008: 145-150 | |
| 2005 | ||
| 2 | Lubomir Ivanov: Modeling and Verification of a Distributed Transmission Protocol. CDES 2005: 64-70 | |
| 2004 | ||
| 1 | Lubomir Ivanov: Automatic Extraction of Non-Iterated System Behavior from Verilog Specifications. ESA/VLSI 2004: 399-406 | |