*Result*: Java Memory Model-Aware Model Checking

Java Memory Model-Aware Model Checking
Tools and algorithms for the construction and analysis of systems; TACAS 2012, held as part of the European Joint Conferences on Theory And Practice of Software, ETAPS 2012

Jin, H., Yavuz-Kahveci, T., Sanders, B.A.

LECTURE NOTES IN COMPUTER SCIENCE. (7214):220-236

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

British Library Document Supply Centre Inside Serials & Conference Proceedings