dblp.uni-trier.dewww.uni-trier.de

Lubomir Ivanov

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)