Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.). by Series: Lecture notes in computer science ; 5813.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, 2009Copyright date: ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / Joël Ouaknine, Igor Potapov, James Worrell (eds.). by Series: Lecture notes in computer science ; 8762. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2014
Other title:
  • RP 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha