Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.). by TACAS (Conference) (7th : 2001 : Genoa, Italy) Margaria-Steffen, Tiziana, 1964- Yi, Wang ETAPS (Conference) (4th : 2001 : Genoa, Italy) Series: Lecture notes in computer science ; 2031. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.). by FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden) Pettersson, Paul Yi, Wang Series: Lecture notes in computer science ; 3829. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Symposium on Dependable Software Engineering: Theories, Tools and Applications (1st : 2015 : Nanjing, China) Li, Xuandong [editor.] Liu, Zhiming [editor.] Yi, Wang [editor.] Series: Lecture notes in computer science ; 9409. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: SETTA 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.). by Olderog, E.-R [editor.] Steffen, Bernhard [editor] Yi, Wang [editor.] Jonsson, Bengt, 1957- [honouree.] Series: Lecture notes in computer science ; 13030. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Real time and such : essays dedicated to Wang Yi to celebrate his scientific career / Susanne Graf, Paul Pettersson, Bernhard Steffen, editors. by Yi, Wang [honouree.] Graf, Susanne [editor.] Pettersson, Paul [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 15230. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham : Springer, [2025] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha