yr 〜
yr

Search results 1

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Paper図書
Joost-Pieter Katoen (ed.)Springerc1999
Other Libraries in Japan
  • Subject Heading... -- Congresses Formal nethods (Computer science) -- Congresses
  • Subject Heading (ID)... -- Congresses Formal nethods (Computer science) -- Congresses

Reached to the end of result.