Hyperbolic PDE's for CSRL Model Checking: A Deja Vu

Research output: Contribution to conferencePaperOther research output

Original languageEnglish
Pages19-22
Number of pages4
Publication statusPublished - 23 Sep 2005
Externally publishedYes

Keywords

  • METIS-225558

Cite this