Model checking
Pages: 305 - 349
Published: Sep 1, 1996
Abstract
No abstract.
Paper Details
Title
Model checking
Published Date
Sep 1, 1996
Pages
305 - 349
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
- Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.
Notes
History