R. Nunna

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2001
c2		L. Ivanov, R. Nunna: Modeling and verification of cache coherence protocols. ISCAS (5) 2001: 129-132
	1999
c1		L. Ivanov, R. Nunna, S. Bloom: Modeling and analysis of noniterated systems: an approach based upon series-parallel posets. ISCAS (1) 1999: 404-406

Coauthor Index

1	S. Bloom	[c1]
2	L. Ivanov	[c2] [c1]

Last update Thu May 23 02:00:29 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page