Combining Specification Techniques for Processes, Data and Time.

Jochen Hoenicke, Ernst-Rdiger Olderog

Browse the full IFM paper archive.