Author:
Hammond Kevin,Grov Gudmund,Michaelson Greg,Ireland Andrew
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Electronic Design Interchange Format Version 2.0.0,Technical ANSI/EIA-548-1988 (1988)
2. Confluence (2006), http://www.confluent.org/wiki/doku.php?id=confluence
3. Hdcaml (2006), http://www.confluent.org/wiki/doku.php
4. Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21, 181–185 (1985)
5. Apt, K.R., Olderog, E.-R.: Verification of Sequential and Concurrent Programs, 2nd edn. Springer, Heidelberg (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献