Your search returned 2 results.

Results
		Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. by Olderog, E.-R [author.] Dierks, Henning [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2008 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Nets, terms, and formulas : three views of concurrent processes and their relationship / E.-R. Olderog. by Olderog, E.-R [author.] Series: Cambridge tracts in theoretical computer science ; 23. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1991 Other title: Nets, Terms & Formulas Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Refine your search