Treffer: Modular Verification of Concurrent Programs via Sequential Model Checking

Modular Verification of Concurrent Programs via Sequential Model Checking
Automated technology for verification and analysis (International conference)

Rasin, Dan, Grumberg, Orna, Shoham, Sharon

Lecture notes in computer science. 11138:228-247

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN604316169&indx=1&recIds=ETOCCN604316169

British Library Document Supply Centre Inside Serials & Conference Proceedings