Partial-order reduction techniques for real-time model checking

Autor: Dams, D.R., Gerth, R.T., Knaack, B.T., Kuiper, R., Groote, J.F., Luttik, B., Wamel, van, J.

Publikováno v: Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998, 157-169
STARTPAGE=157;ENDPAGE=169;TITLE=Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::713c54c9eaedbcd19e3f332e5014f0d8
https://research.tue.nl/nl/publications/71ef8d3b-080c-488d-b22e-bcd398d9f3f8