Jump to main content

yr 〜
yr

Search results 5

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)
Paper図書
Springerc2010.<M154-B107>
National Diet Library
  • Author HeadingDams, Dennis. Roever, W. P. de (Willem Paul...

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)
Paper図書
Springerc2009.<M17-10-1647>
National Diet Library
  • Author HeadingCavalcanti, Ana. Dams, Dennis. International Symposium of Fo...

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Paper図書
Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)Springerc2010
Other Libraries in Japan

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
Paper図書
Ana Cavalcanti, Dennis Dams (eds.)Springerc2009
Other Libraries in Japan

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Paper図書
Dennis Dams ... [et al.], (eds.)Springerc1999
Other Libraries in Japan

Reached to the end of result.

RSS