"Formal Development of NoC Systems in B."

Leonidas Tsiopoulos, Marina Waldén (2006)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2019-01-15