City Research Online

Items where Author is "Teige, T."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Schrammel, P., Kroening, D., Brain, M. ORCID: 0000-0003-4216-7151, Martins, R., Teige, T. and Bienm├╝ller, T. (2017). Incremental bounded model checking for embedded software. Formal Aspects of Computing, 29(5), pp. 911-931. doi: 10.1007/s00165-017-0419-1

This list was generated on Wed Jan 22 05:10:49 2020 UTC.