• Udgivet

  Tools for Model-Checking Timed Systems

  Publikation: Forskning - peer review › Bidrag til bog/antologi

Vis alle »

• John Wiley & Sons Ltd, 0-470

  Central database

  Forlag

Vis alle »