IMSc Library catalog › Results of search for 'au:"Sere, Kaisa."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere. by Butler, Michael [editor.] \| Petre, Luigia [editor.] \| Sere, Kaisa [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2335Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge [editor.] \| Maibaum, Tom [editor.] \| Sere, Kaisa [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5014Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags