Logo eprints

Items where Author is "Larosa, Salvatore"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: De | Fa | Gn | La | Ri
Number of items: 5.

De

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

Fa

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

Gn

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

La

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

Ri

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

This list was generated on Thu Jul 7 10:22:59 2022 CEST.