Skip to main content

1 Result(s)

within Article Remove this filter Sharad Malik Remove this filter

and
Your search also matched 13 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Model checking unbounded concurrent lists

Include preview-only content

  1. Article

    Preface

    Aarti Gupta, Sharad Malik in Formal Methods in System Design (2009)

    Download PDF (90 KB)