1 - 1 toradh á dtaispeáint as 1 toradh san iomlán ar an gcuardach 'Godefroid, Patrice', am iarratais: 0.01s Beachtaigh na torthaí
  1. 1
    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
    LEABHAR
    de réir Godefroid, Patrice
    Foilsithe / Cruthaithe 1996
    Cuir le mo chuid Ceanán
    Sábháilte in:
Uirlisí cuardaigh: Faigh fotha RSS – Seol an cuardach seo mar r-phost