Analysis of information sources in references of the Wikipedia article "E. Allen Emerson" in English language version.
[…] authored seminal papers that founded what has become the highly successful field of Model Checking.
[…] authored seminal papers that founded what has become the highly successful field of Model Checking.