Showing 1 - 1 results of 1 for search 'Vain, Juri', query time: 0.02s
Refine Results
-
1
Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceed... by FORTE 2007 (2007 : Tallinn, Estonia), Derrick, John, 1963-, Vain, Juri, IFIP Working Group 6.1, SpringerLink (Online service)
Published 2007