PLAN
Authors:
Open Access
- 29 September 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1) , 86-93
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Active bridging1997
- Proof-carrying code1997
- Theorem Proving in Higher Order Logics1997
- A survey of active network researchIEEE Communications Magazine, 1997
- Safe kernel extensions without run-time checking1996
- Optimizing ML with run-time code generation1996
- Supporting real-time applications in an Integrated Services Packet Network1992
- Internet Protocol1981