Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings / Insup Lee, Scott A. Smolka, eds. by International Conference on Concurrency Theory (6th : 1995 : Philadelphia, Pa.) Lee, Insup Smolka, Scott A Series: Lecture notes in computer science ; 962. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1995 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Nir Piterman, Scott A. Smolka (eds.). by TACAS (Conference) (19th : 2013 : Rome, Italy) Piterman, Nir Smolka, Scott A ETAPS (Conference) (16th : 2013 : Rome, Italy) Series: Lecture notes in computer science ; 7795. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013 Other title: TACAS 2013 ETAPS 2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.). by RV (Conference) (5th : 2014 : Toronto, Ontario) Bonakdarpour, Borzoo [editor.] Smolka, Scott A [editor.] Series: Lecture notes in computer science ; 8734. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: RV 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday / Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.). by Bartocci, Ezio (Computer scientist) [editor.] Cleaveland, Rance [editor.] Grosu, Radu [editor.] Sokolsky, Oleg [editor.] Smolka, Scott A [honouree.] Series: Lecture notes in computer science ; 11500. \| 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, 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha