| Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. PVS: Combining Specification, Proof Checking, and Model Checking. in: Computer-Aided Verification, CAV '96, edited by R. Alur and T. A. Henzinger. Lecture Notes in Computer Science, vol. 1102, Springer-Verlag, New Brunswick, NJ, 1996, pp. 411--414. |
No context found.
Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. PVS: Combining Specification, Proof Checking, and Model Checking. in: Computer-Aided Verification, CAV '96, edited by R. Alur and T. A. Henzinger. Lecture Notes in Computer Science, vol. 1102, Springer-Verlag, New Brunswick, NJ, 1996, pp. 411--414.
No context found.
Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. PVS: Combining Specification, Proof Checking, and Model Checking. in: Computer-Aided Verification, CAV '96, edited by R. Alur and T. A. Henzinger. Lecture Notes in Computer Science, vol. 1102, Springer-Verlag, New Brunswick, NJ, 1996, pp. 411--414.
No context found.
Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar, and Mandayam K. Srivas. PVS: Combining specification, proof checking, and model checking. In International Conference on Computer Aided Verification (CAV), New Brunswick, New Jersey, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, July 1996.
No context found.
Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar, and Mandayam K. Srivas. PVS: Combining specification, proof checking, and model checking. In International Conference on Computer Aided Verification (CAV), New Brunswick, New Jersey, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, July 1996.
No context found.
S. OWRE, S. RAJAN, J.M. RUSHBY, N. SHANKAR, et M.K. SRIVAS. PVS: Combining specification, proof checking, and model checking. In Rajeev ALUR et Thomas A. HENZINGER, diteurs, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, 1996.
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Computer-Aided Verification, CAV '96, LNCS 1102, p. 411--414. Springer, 1996.
No context found.
Owre, S., S. Rajan, J. Rushby, N. Shankar, and M. Srivas (1996, July/August). PVS: Combining specification, proof checking, and model checking. In R. Alur and T. A. Henzinger (Eds.), Proceedings of the 8th International Conference on Computer-Aided Verification, CAV '96, New Brunswick, NJ, pp. 411--414. Springer-Verlag LNCS 1102.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining specification, proof checking, and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. Springer-Verlag.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T. Henzinger, editors, Computer Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 411--414. Springer, 1996.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
No context found.
Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar, and Mandayam K. Srivas. PVS: Combining specification, proof checking, and model checking. In International Conference on Computer Aided Verification (CAV), New Brunswick, New Jersey, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, July 1996.
No context found.
Owre S, Rajan S, Rushby JM, Shankar N, Srivas M (1996) PVS: Combining specification, proof checking, and model checking. In: Alur R, Henzinger TA (eds) Computer aided verification. Lecture notes in computer science, vol 1102. Springer, Berlin Heidelberg New York, pp 411--414
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, number 1102 in Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. Springer-Verlag.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, number 1102 in Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. Springer-Verlag.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In CAV 96: Computer-Aided Verification, pages 411--414, 1996.
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In Proceedings of the 8th International Conference on Computer-Aided Verification (CAV'96), volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, August 1996.
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T. A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. SpringerVerlag.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in Lect. Notes Comp. Sci., pages 411--414. Springer, Berlin, 1996.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer, Berlin, 1996.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer, Berlin, 1996.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in Lect. Notes Comp. Sci., pages 411--414. Springer, Berlin, 1996.
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer, Berlin, 1996.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC