Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	FORMATS 2010 Klosterneuburg, Austria
Other Authors:	Chatterjee, Krishnendu, Henzinger, T. A. Thomas A.
Format:	Book
Published:	Berlin Springer 2010
Series:	Lecture notes in computer science v.6246 LNCS sublibrary: SL 1-theoretical computer science and general issues
Subjects:	Computer simulation > Congresses Formal methods (Computer science) > Congresses Temporal automata > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-449375
020	#	#	\|a 3642152961 (pbk.)
020	#	#	\|a 9783642152962 (pbk.)
040	#	#	\|a BTCTA \|d ITMB
090	0	0	\|a QA76.9.C65 \|b F676 2010
111	1	#	\|a FORMATS 2010 \|c Klosterneuburg, Austria \|d 2010
245	1	0	\|a Formal modeling and analysis of timed systems \|b 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings \|c Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
260	#	#	\|a Berlin \|b Springer \|c 2010
300	#	#	\|a x, 255 p. \|b ill. \|c 24 cm
490	1	#	\|a Lecture notes in computer science \|v v.6246 \|x 0302-9743
490	#	#	\|a LNCS sublibrary: SL 1-theoretical computer science and general issues
504	#	#	\|a Includes bibliographical references and index
650	#	0	\|a Computer simulation \|v Congresses
650	#	0	\|a Formal methods (Computer science) \|v Congresses
650	#	0	\|a Temporal automata \|v Congresses
700	1	#	\|a Chatterjee, Krishnendu
700	#	#	\|a Henzinger, T. A. \|q Thomas A.
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=449375
964	#	#	\|c BOK \|d AP
998	#	#	\|a 00260##a002.8.2\|\|00260##b002.8.4\|\|00260##c002.7.6\|\|00300##a003.4.1\|\|00300##b003.6.1\|\|00300##c003.5.1\|\|01490##a002.12.2\|\|01700##a0011.2.2\|\|01700##q0017.8\|\|