Formal methods for real-time and probabilistic systems /

Bibliographic Details
Corporate Author:	International AMAST Workshop, ARTS'99 Bamberg, Germany
Other Authors:	Katoen, Joost-Pieter, 1964- (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1999.
Series:	Lecture notes in computer science ; v. 1601 LNCS ; v. 1601
Subjects:	Sistemas en tiempo real. Real-time systems. Sistemas distribuidos. Distributed systems.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190808182514.0
008	120228s1999 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1601_000000000000000 \|7 0 \|9 15139 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Katoen Joost-Pieter \|l 1 \|o C LNCS v. 1601 \|p 17631 \|r 2010-11-24 00:00:00 \|s 2009-08-31 \|w 2008-06-09 \|y LIBRO
999			\|c 11848 \|d 11848
020			\|a 3540660100
040			\|a AR_CdUFM
111	2		\|a International AMAST Workshop, ARTS'99 \|n (5 : \|d 1999 : \|c Bamberg, Germany) \|9 19781
245	1	0	\|a Formal methods for real-time and probabilistic systems / \|c ed. Joost-Pieter Katoen.
260			\|a Berlin : \|b Springer, \|c 1999.
300			\|a x, 353 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1601
490	0		\|a LNCS ; \|v v. 1601
650		4	\|a Sistemas en tiempo real.
650		4	\|a Real-time systems.
650		4	\|a Sistemas distribuidos.
650		4	\|a Distributed systems.
700	1		\|9 8690 \|a Katoen, Joost-Pieter, \|e ed. \|d 1964-
942			\|c LIBRO \|2 CCS
945			\|a EG
945			\|a MCR \|d 2012-02-28