"Expressiveness of verifiable hierarchical clock systems."

Moon Ho Hwang, Bernard P. Zeigler (2008)

Details and statistics

DOI: 10.1080/03081070701794876

access: closed

type: Journal Article

metadata version: 2020-08-20