Lubomir Ivanov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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