Søgeresultater - Dingel, Juergen
- Showing 1 - 3 results of 3
-
1
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. af Dingel, Juergen
Udgivet i Software engineering notes.Klassifikationsnummer: Loading...
Findes i: Loading...Article Loading... -
2
Models in software engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
Udgivet 2011Klassifikationsnummer: Loading...Available for University of the Philippines Diliman via SpringerLink. Click here to access
Findes i: Loading...
Electronic Resource -
3
Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Icelan...
Udgivet 2011Klassifikationsnummer: Loading...Available for University of the Philippines Diliman via SpringerLink. Click here to access
Findes i: Loading...
Electronic Resource


