Jump to main content

yr 〜
yr

Search results 6

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)
Paper図書
Springerc2010.<X>
National Diet Library
  • Author HeadingManna, Zohar Peled, Doron, 1962-

Runtime verification : 9th international workshop, RV 2009 : Grenoble, France, June 26-28, 2009 : selected papers. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5779)

Runtime verification : 9th international workshop, RV 2009 : Grenoble, France, June 26-28, 2009 : selected papers. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5779)
Paper図書
Springerc2009.<M17-10-1251>
National Diet Library
  • Author HeadingBensalem, Saddek. Peled, Doron, 1962- RV 2009 (2009 : Grenoble, Fra...

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-2067>
National Diet Library
  • Author HeadingPeled, Doron, 1962- Wooldridge, Michael J., 1966-...

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)
Paper図書
Springerc2008.<M17-08-1774>
National Diet Library
  • Author HeadingLogozzo, Francesco. Peled, Doron, 1962- Zuck, Lenore D., 1958- VMCAI ...

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)
Paper図書
Springerc2004.<M17-05-75>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Peled, Doron, 1962- CAV (Conference) (16th : 2004...

Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX. (Lecture Notes in Computer Science ; 2529)

Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX. (Lecture Notes in Computer Science ; 2529)
Paper図書
Springer2002.<M17-03-199>
National Diet Library
  • Author Heading...puter Science. Peled, Doron, 1962- Vardi, Moshe Y. FORTE 2002 (2...

Reached to the end of result.

RSS