Exploiting step semantics for efficient bounded model checking of asynchronous systems (2012)
AUTHORS:
Dubrovin Jori,
Junttila Tommi
,
Heljanko Keijo
JOURNAL:
Science of Computer Programming
VOLUME:
77
PAGES:
1095--1121
@article{ DubrovinJunttilaHeljanko:SCP2012, author = "Dubrovin, Jori and Junttila, Tommi and Heljanko, Keijo", responsibleauthor = "Jori Dubrovin and Tommi Junttila and Keijo Heljanko", language = "eng", title = "Exploiting step semantics for efficient bounded model checking of asynchronous systems", journal = "Science of Computer Programming", issn = "0167-6423", number = "10--11", volume = "77", juforank = "2", il = "no", year = "2012", unitcode = "T306-99, T312-1", impactfactor = "A1", pages = "1095--1121", flags = "copy LOGIC HIIT" }