"When the time is ripe for certain things, these things appear in different places in the manner of violets coming to light in early spring." (Wolfgang Bolyai to his son Johann in urging him to claim the invention of non- Euclidean geometry without delay [Vit88]). © 2008 Springer-Verlag.
CITATION STYLE
Clarke, E. M. (2008). The birth of model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5000 LNCS, pp. 1–26). https://doi.org/10.1007/978-3-540-69850-0_1
Mendeley helps you to discover research relevant for your work.