Treffer: The verus language: representing time efficiently with BDDs

Title:
The verus language: representing time efficiently with BDDs
Real-time systems and concurrent and distributed software; Transformation-based reactive systems development
Authors:
Campos, S. V. A., Clarke, E.
Source:
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-. 253(1):95-118
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN038007695&indx=1&recIds=ETOCCN038007695
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings