-
191
A simple approximation to minimum-delay routing.
Published in Computer communication review.Article -
192
On power-law relationships of the Internet topology.
Published in Computer communication review.Article -
193
Proof of correctness of ATM retransmission scheme.
Published in Computer networks and ISDN systems.Article -
194
-
195
-
196
A specification-based approach to reasoning about pointers.
Published in Software engineering notes.Article -
197
-
198
Non-null references by default in the Java modeling language.
Published in Software engineering notes.Article -
199
-
200