Lecture Notes in Computer Science, 1997, Volume 1243/1997, 1-4, DOI: 10.1007/3-540-63141-0_1

Recent developments in the mathematics of reactive systems (extended abstract)

Jeremy Gunawardena

View Related Documents

Abstract

Fulltext Preview

Image of the first page of the fulltext document