Formalizing SHIM6, a Proposed Internet Standard in UPPAAL

Thumbnail
Fulltext:
34748.pdf
Size:
98.37Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2007
Author(s)
Mekking, Matthijs
Wijngaards, Wouter
Vaandrager, Frits
Schouten, Theo
Publisher
Eindhoven, Netherlands : Technical University Eindhoven
In
VVSS 2007 (Verification and Validation of Software Systems) Symposium
Related links
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/34748   https://hdl.handle.net/2066/34748
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.