Symbolic Model Checking: 10^20 States and Beyond
, , , , and .
LICS, page 428-439. IEEE Computer Society, (1990)

  • @giuliano.losa
  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).