Description
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
Recent actions
-
toryah1988 has added Harry Potter And The Order Of The Phoenix to their read list.
-
-
-
-
Monica has added The Da Vinci Code (Large Print) to their wish list.