IMSc Library catalog › Results of search for 'au:"Niebert, Peter."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers by Larsen, Kim G \| Niebert, Peter Eds. Series: Lecture notes in computer science ; 02791Edition: 1st ed.Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Modeling and Analysis of Timed Systems [electronic resource] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers / edited by Kim Guldstrand Larsen, Peter Niebert. by Larsen, Kim Guldstrand [editor.] \| Niebert, Peter [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2791Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags