Jump to main content

yr 〜
yr

Search results 4

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)
Paper図書
Springerc2011.<M17-12-1225>
National Diet Library
  • Author HeadingFORMATS 2011 (2011 : Aalborg, Denmark) Fahrenberg, Uli. Tripakis, Stavros.

Relational and algebraic methods in computer science : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024 : proceedings

Relational and algebraic methods in computer science : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024 : proceedings
Paper図書
Uli Fahrenberg, Wesley Fussner, Roland Glück, editorsSpringerc2024
Other Libraries in Japan
  • Author HeadingRAMiCS (Conference) Fahrenberg, Uli Fussner, Wesley Glück, Roland

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings
Paper図書
Uli Fahrenberg ... [et al.] (eds.)Springerc2021
Other Libraries in Japan
  • Author Heading...mputer Science Fahrenberg, Uli Gehrke, Mai Santocanale, Luig...

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings
Paper図書
Uli Fahrenberg, Stavros Tripakis (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingFahrenberg, Uli Tripakis, Stavros

Reached to the end of result.

RSS