Verification methods for multiprocessor systems

From MaRDI portal

Publication:1813462

Jump to:navigation, search

zbMath0800.68166MaRDI QIDQ1813462

M. E. Maron

Publication date: 25 June 1992

Published in: Automation and Remote Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

This page was built for publication: Verification methods for multiprocessor systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1813462&oldid=11993829"