[IEEE Comput. Soc Sixth International Conference on Network...

  • Main
  • [IEEE Comput. Soc Sixth International...

[IEEE Comput. Soc Sixth International Conference on Network Protocols - Austin, TX, USA (13-16 Oct. 1998)] Proceedings Sixth International Conference on Network Protocols (Cat. No.98TB100256) - A proof technique for liveness properties of multifunction composite protocols

Jun-Cheol Park,, Miller, R.E.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
1998
Language:
english
DOI:
10.1109/icnp.1998.723742
File:
PDF, 214 KB
english, 1998
Conversion to is in progress
Conversion to is failed