|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel. by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1443Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|