There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 40

Record: found
Abstract: not found
Article: not found

Design of ion-implanted MOSFET's with very small physical dimensions

R.H. Dennard, F.H. Gaensslen, V.L. Rideout … (1974)

0 comments Cited 457 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia … (2002)

0 comments Cited 86 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

A Tutorial on Uppaal

Gerd Behrmann, Alexandre David, Kim G. Larsen (2004)

0 comments Cited 84 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2019

Publication date (Online): April 03 2019

Pages: 21-39

DOI: 10.1007/978-3-030-17465-1_2

SO-VID: e3da2e17-dfef-4695-a2a6-30868c2877d5

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 5

See all cited by

The mCRL2 Toolset for Analysing Concurrent Systems

Read this book at

Related collections

Socioecological systems

Most cited references 40

Design of ion-implanted MOSFET's with very small physical dimensions

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

A Tutorial on Uppaal

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,748

Cited by 5