• Deductive verification of real...

Treffer: Deductive verification of real-time systems using STeP

Title:
Deductive verification of real-time systems using STeP
Real-time systems and concurrent and distributed software; Transformation-based reactive systems development
Authors:
Bjorner, N. S., Manna, Z., Sipma, H. B., Uribe, T.
Source:
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-. 253(1):27-60
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN038007671&indx=1&recIds=ETOCCN038007671
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings