|
СТ |
Abstracting Dependencies between Software Configuration Items |
2000 |
Gunter C. A. |
|
|
|
ACM Trans. on Software Engineering and Methodology |
10.07.2000 |
|
СТ |
Generalized Certificate Revocation |
2000 |
Gunter C. A., Jim T. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Network Programming Using PLAN |
1999 |
Hicks M., Kakkar P., Moore T., Gunter C. A., Nettles S. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
PLAN: A Programming Language for Active Networks |
1999 |
Hicks M., Kakkar P., Moore J. T., Gunter C. A., Nettles S. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Semantics Domains |
1994 |
Gunter C. A., Scott D. S. |
|
|
|
Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B |
27.01.1998 |
|
СТ |
Verisim: Formal Analysis of Network Simulations |
2000 |
Bhargavan K., Gunter C. A., Kim M., Lee I., Obradovic D., Sokolovsky O., Viswanathan M. |
|
|
|
Software Engineering Notes |
14.12.2000 |
