1999-10-15
Analysing industrial protocols with formal methods
Publication
Publication
Additional Metadata | |
---|---|
H. Brinksma , F.W. Vaandrager (Frits) | |
Universiteit Twente | |
978-90-90-13086-6 | |
Institute for Programming research and Algorithmics Dissertation Series ; 1999-09 | |
Romijn, J.M.T. (1999, October 15). Analysing industrial protocols with formal methods (No. 1999-09). IPA dissertation series.
|