Title Journal Title, Volume, Page Full Text Year of Publicationsort icon
Accelerating Online Model Checking 6'th Latin-American Symposium on Dependable Computing (LADC 2013), S. 40-47, 2 2013
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. IFIP Advances in Information and Communication Technology, Band 329 , S. 102-113. Springer Boston 2010