Jump to main content

yr 〜
yr

Search results 6

Verification of digital and hybrid systems

Verification of digital and hybrid systems
Paper図書
edited by M. Kemal Inan, Robert P. KurshanSpringerc2000
Other Libraries in Japan
  • Author HeadingInan, Kemal Kurshan, R. P.

Computer-aided verification of coordinating processes : the automata-theoretic approach

Computer-aided verification of coordinating processes : the automata-theoretic approach
Paper図書
Robert P. KurshanPrinceton University Pressc1994
Other Libraries in Japan
  • Author HeadingKurshan, R. P.

Computer-aided verification

Computer-aided verification
Paper図書
edited by Robert KurshanKluwer Academicc1993
Other Libraries in Japan
  • Author HeadingKurshan, R. P.

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us
Paper図書
E.M. Clarke, R.P. Kurshan, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingClarke, Edmund CAV (Conference) Kurshan, R. P.

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM
Paper図書
E.M. Clarke, R.P. Kurshan, editorsAmerican Mathematical Societyc1991
Other Libraries in Japan
  • Author Heading...Clarke, Edmund Kurshan, R. P.

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan (eds.). (Lecture notes in computer science)

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7757>
National Diet Library
  • Author Heading..., E. M., 1945- Kurshan, R. P., 1943-

Reached to the end of result.

RSS