Treffer: Transformational Formal Development of Real-Time Systems

Transformational Formal Development of Real-Time Systems
Real-time systems and concurrent and distributed software: Transformation-based reactive systems development

Lano, K., Sanchez, A.

LECTURE NOTES IN COMPUTER SCIENCE. (1231):184-198

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

British Library Document Supply Centre Inside Serials & Conference Proceedings