Search

Filters

Use filters to refine the search results.

Now showing items 1-2 of 2

Resilience of the Domain Name System: A case study of the .nl-domain

Krohnke, Lars; Jansen, Jelte; Vranken, H.P.E.

2018, Article / Letter to editor (Computer Networks-The International Journal of Computer and Telecommunications Networking, vol. 139, (2018), pp. 136-150)
Formal specification of the JavaCard API in JML: the APDU class

Poll, E. ; Berg, J. van den; Jacobs, B.P.F.

2001, Article / Letter to editor (Computer Networks-The International Journal of Computer and Telecommunications Networking, vol. 36, iss. 4, (2001), pp. 407-421)