Paul Losleben
Design validation in hierarchical systems
DAC, 1975.
@inproceedings{DAC-1975-Losleben75a,
acmid = "809097",
author = "Paul Losleben",
booktitle = "{Proceedings of the 12th Design Automation Conference}",
pages = "431--438",
publisher = "{ACM}",
title = "{Design validation in hierarchical systems}",
year = 1975,
}