Author:
Cerone Antonio,Milne George J.
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Bacelli F et al. (1992) Synchronisation and linearity?algebra for discrete event systems. Wiley, New York
2. Bailey A, McCaskill GA, Milne GJ (1994) An exercise in the automatic verification of asynchronous designs. Formal Methods Syst Des 4(3):213?242
3. Birtwistle G, Davis A (eds) (1995) Asynchronous digital circuit design. Springer, Berlin Heidelberg New York
4. Bolognesi T, Brinksma E (1987) Introduction to the ISO specification language LOTOS. Comput Netw ISDN Syst 14(1):25?59
5. Cerone A, Cowie AJ, Milne GJ, Moseley PA (1996) Description and verification of a time-sensitive protocol. Technical report CIS-96-009, University of South Australia, School of Computer and Information Science, Adelaide, Australia
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献