Jump to main content

yr 〜
yr

Search results 1

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings
Paper図書
Franck Cassez, Claude Jard (eds.)Springerc2008
Other Libraries in Japan
  • Subject HeadingZeitdiskretes System -- Formale Methode -- Kongress -- Saint Malo <2008> Zeitbehafteter Automat -- For...
  • Subject Heading (ID)Zeitdiskretes System -- Formale Methode -- Kongress -- Saint Malo <2008> Zeitbehafteter Automat -- For...

Reached to the end of result.

RSS