Jump to main content

yr 〜
yr

Search results 3

Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015 : Brussels, Belgium, June 21-26, 2015 : proceedings : Jun 2015, Brussels, Belgium. (Lecture Notes in Computer Science ; 9115)

Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015 : Brussels, Belgium, June 21-26, 2015 : proceedings : Jun 2015, Brussels, Belgium. (Lecture Notes in Computer Science ; 9115)
Paper図書
Springer[2015]<M17-16-377>
National Diet Library
  • Author Heading...lers, Raymond. Valmari, Antti. Université Libre de Bruxelle...

Model checking software : 13th international SPIN workshop : Vienna, Austria, March 30-April 1, 2006 : proceedings. : 13th international SPIN workshop on model checking of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3925)

Model checking software : 13th international SPIN workshop : Vienna, Austria, March 30-April 1, 2006 : proceedings. : 13th international SPIN workshop on model checking of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3925)
Paper図書
Springerc2006.<M17-06-1496>
National Diet Library
  • Author HeadingValmari, Antti. International SPIN Workshop ...

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
Paper図書
Antti Valmari (ed.)Springerc2006
Other Libraries in Japan
  • Author HeadingSPIN Valmari, Antti

Reached to the end of result.

RSS