Principles of the spin model checker

Showing 1-10 of 81 extracted citations

Statistics

020406020072008200920102011201220132014201520162017
Citations per Year

198 Citations

Semantic Scholar estimates that this publication has received between 125 and 307 citations based on the available data.

See our FAQ for additional information.