![](/img/cover-not-exists.png)
[IEEE Comput. Soc 16th International Parallel and Distributed Processing Symposium. IPDPS 2002 - Ft. Lauderdale, FL, USA (15-19 April 2002)] Proceedings 16th International Parallel and Distributed Processing Symposium - Mixed formal specifications with PVS
Allemand, M., Royer, J.-C.Year:
2002
Language:
english
DOI:
10.1109/ipdps.2002.1016615
File:
PDF, 281 KB
english, 2002