Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Άλλοι συγγραφείς: | Clarke, E. M. (Επιμελητής έκδοσης), Kurshan, R. P. (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
berlin
Springer-Verlag
c1991
|
Σειρά: | Lecture Notes in Computer Science / G. Goos and J. Hartmanis
531 |
Θέματα: |
Παρόμοια τεκμήρια
-
Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986) -
Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985) -
Theoretical Aspects of Computer Science STACS 93 Proceedings of 10th Annual Symposium Wurzburg Germany, February 25-27, 1993
Έκδοση: (1993) -
Theoretical Aspects of Computer Science STACS 92 Proceedings of 9th Annual Symposium Cachan, France, February 13-15, 1992
Έκδοση: (1992) -
Theoretical aspects of Computer Science STACS 86 [Proceedings] of the 3rd Annual Symposium Orsay, France, January 16-18,1986
Έκδοση: (1986)