Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Γαροφαλάκης, Μίνως (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Patras Greece Patras Greece Πάτρα Ελλάδα Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών 1993
Θέματα:	CTI TR 1993 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ


LEADER	00998nam a22002173u 4500
001	10104198
003	upatras
005	20210117204043.0
008	991022s1993 eng
040			\|a Βιβλιοθήκη ΕΑΙΤΥ \|c Βιβλιοθήκη ΕΑΙΤΥ
041	0		\|a eng
245	1	0	\|a Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
260			\|a Patras \|a Greece \|a Patras \|a Greece \|a Πάτρα \|a Ελλάδα \|b Computer Technology Institute \|b Computer Science and Engineering Department, Patras University \|b Ινστιτούτο Τεχνολογίας Υπολογιστών \|c 1993
650		4	\|a CTI TR 1993 \|9 121525
650		4	\|a TECHNICAL REPORT \|9 117806
650		4	\|a ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ \|9 117807
700	1		\|a Γαροφαλάκης, Μίνως \|4 aut \|9 118496
852			\|a GR-PaULI \|b ΠΑΤΡΑ \|b ΤΜΗΥΠ \|t 1
942			\|2 ddc
952			\|0 0 \|1 0 \|4 0 \|7 0 \|9 133831 \|a CEID \|b CEID \|d 2016-04-24 \|l 0 \|r 2016-04-24 00:00:00 \|t 1 \|w 2016-04-24
999			\|c 87562 \|d 87562

Παρόμοια τεκμήρια