Formal verification of timing conditions

Full Text:

Pdf

Buy this Article

Authors:	Hans Eveking	Institute f¨r Datentechnik, Technische Hochschule Darmstadt, D-6100 Darmstadt, Fed. Rep. of Germany
	Christoph Mai	Institute f¨r Datentechnik, Technische Hochschule Darmstadt, D-6100 Darmstadt, Fed. Rep. of Germany

Published in:

· Proceeding

EURO-DAC '90 Proceedings of the conference on European design automation

IEEE Computer Society Press Los Alamitos, CA, USA ©1990
table of contents ISBN:0-8186-2024-2

	1990 Article
Bibliometrics
· Downloads (6 Weeks): 1 · Downloads (12 Months): 3 · Citation Count: 1

Tools and Resources