CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, and J. M. Rushby. The PVS specification language. Technical report, Computer Science Laboratory, SRI International, 1993.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
S. Owre, N. Shankar, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
Owre, S.; Shankar, N.; and Rushby, J. M.: The PVS Specification Language (Beta Release). Computer Science Laboratory, SRI International, Menlo Park, CA, Feb. 1993.
S. Owre, N. Shankar, J. M. Rushby. The PVS Specification Language (Beta Release), Computer Science Laboratory, SRI International, Menlo Park, CA 94025, USA, 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, February 1993.
S. Owre, N. Shankar, and J.M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, 1995.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language (Beta Release) . Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, and J. B. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, CA, February 1993.
S. Owre, N. Shankar, and J. B. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, CA, February 1993.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language (Beta Release). Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language (Draft). Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. PVS Language Reference. Version 2.3. Computer Science Laboratory, SRI International, Menlo Park, CA 94025, July 1999.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. PVS Prover Guide. Version 2.3. Computer Science Laboratory, SRI International, Menlo Park, CA 94025, July 1999.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. PVS System Guide. Version 2.3. Computer Science Laboratory, SRI International, Menlo Park, CA 94025, July 1999.
S. Owre, N. Shankar, and J. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
S. Owre, N. Shankar, and J.M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
S. Owre, N. Shankar, and J.M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
S. Owre, N. Shankar, and J.M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specication Language. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993. See also: http://pvs.csl.sri.com/.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical Report CSL-939R, Computer Science Laboratory, SRI International, 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993. See also: http://www.csl.sri.com/pvs.html.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
S. Owre, N. Shankar, J.M. Rushby, and D.W.J. StringerCalvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
Owre, S.; Shankar, N.; and Rushby, J. M.: The PVS Specification Language (Beta Release). Computer Science Laboratory, SRI International, Menlo Park, CA, Feb. 1993.
S. Owre, N. Shankar, and J. M. Rushby. "The PVS Specification Language (Draft). Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993
S. Owre, N. Shankar, and J. M. Rushby. "PVS Tutorial. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language (Draft). Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
Owre, S.; Shankar, N.; and Rushby, J. M.: The PVS Specification Language (Beta Release). Computer Science Laboratory, SRI International, Menlo Park, CA, Feb. 1993.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
Owre, S.; Shankar, N.; and Rushby, J. M.: The PVS Specification Language (Beta Release). Computer Science Laboratory, SRI International, Menlo Park, CA, Feb. 1993.
S. Owre, N. Shankar, J. M. Rushby. The PVS Specication Language (Beta Release), Computer Science Laboratory, SRI International, Menlo Park, CA 94025, USA, 1993.
S. Owre and N. Shankar. The formal semantics of PVS. Technical Report SRICSL -97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, Aug. 1997.
S. Owre, N. Shankar, J. M. Rushby. The PVS Specification Language (Beta Release), Computer Science Laboratory, SRI International, Menlo Park, CA 94025, USA, 1993.
S. Owre, N. Shankar, and J.M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
Owre, S.; Shankar, N.; and Rushby, J. M.: The PVS Specification Language (Beta Release). Computer Science Laboratory, SRI International, Menlo Park, CA, Feb. 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, February 1993.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
Owre, S., Shankar, N., Rushby, J. M., The PVS specification language, Computer Science Laboratory, SRI International, Menlo Park, CA, Apr. 1993, Beta release
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
S. Owre, N. Shankar, and J. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
S. Owre, N. Shankar, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS language reference. Computer Science Laboratory, SRI International, September 1998. BIBLIOGRAPHY 249
S. Owre, N. Shankar, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS Prover Guide. Computer Science Laboratory, SRI International, September 1998.
S. Owre, N. Shankar, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, September 1998.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language (Beta Release) . Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, and J. Rushby. The PVS specification language. Technical report, Computer Science Laboratory, SRI International, February 1993.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
S. Owre, N. Shankar, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998.
S. Owre, N. Shankar, and J. Rushby. The PVS specification language. Technical report, Computer Science Laboratory, SRI International, February 1993.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical Report CSL-939R, Computer Science Laboratory, SRI International, 1993.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
S. Owre, N. Shankar, and J. B. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, CA, Feb. 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language. Computer Science Laboratory, 1993.
S. Owre, N. Shankar, and J.M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
S. Owre, N. Shankar, and J.M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA 94025.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, September 1998.
Owre, S., Shankar, N., Rushby, J., and Stringer-Calvert, D. W. (1999a). PVS Language Reference, version 2.3. Computer Science Laboratory.
S. Owre and N. Shankar. The formal semantics of PVS. Technical report, Computer Science Laboratory, SRI International, August 1997.
S. Owre, N. Shankar. The Formal Semantics of PVS, Technical Report, Computer Science Laboratory, SRI International, August, 1997.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical Report CSL-93-9R, Computer Science Laboratory, SRI International, Menlo Park, CA, 1993.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, November 2001. http://pvs.csl.sri.com/.
S. Owre, N. Shankar. The Formal Semantics of PVS , Technical Report, Computer Science Laboratory, SRI International, August, 1997.
Owre, S., Shankar, N., Rushby, J. M., The PVS specification language, Computer Science Laboratory, SRI International, Menlo Park, CA, Apr. 1993, Beta release
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre and N. Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, 1997.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, August 1997.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert, PVS System Guide, PVS Language Reference, and PVS Prover Guide Version 2.4 , Computer Science Laboratory, SRI International, 2001.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. PVS System Guide Version 2.3. Computer Science Laboratory, SRI International. 1999; 1-88.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical Report CSL-939R, Computer Science Laboratory, SRI International, 1993.
Sam Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL-01-01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. 22
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
S. Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. http://www.csl.sri.com/~owre.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, aug 1997.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, USA, September 1999. Available at http://pvs.csl.sri.com/.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, USA, September 1999. Available at http://pvs.csl.sri.com/.
S. Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL-01-01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. http://www.csl.sri.com/owre.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
S. Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL-01-01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. http://www.csl.sri.com/owre.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998. 31
S. Owre, N. Shankar, J. Rushby, and D. W. Stringer-Calvert. PVS System Guide, version 2.3. Computer Science Laboratory, SRI International, Melon Park, CA, September 1999.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
Owre, S., Shankar, N., Rushby, J. M., and Stringer-Calvert, D. W. J. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, Sept. 1999.
Owre, S., Shankar, N., Rushby, J. M., and Stringer-Calvert, D. W. J. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, Sept. 1999.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. PVS System Guide, Language Reference and Prover Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, November 2001.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, December 2001.