-
Notifications
You must be signed in to change notification settings - Fork 1
/
bibliografia.bib
50 lines (44 loc) · 1.25 KB
/
bibliografia.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
@Book{Lam92,
author = {Lamport L.},
title = {LaTeX system przygotowywania dokumentów},
publisher = {Wydawnictwo Ariel},
year = {1992},
address = {Krakow}
}
@Book{Dil00,
author = {Diller A.},
title = {LaTeX wiersz po wierszu},
publisher = {Wydawnictwo Helion},
year = {2000},
address = {Gliwice}
}
@Manual{ARM06,
title = {Ada Reference Manual {ISO}/{IEC} 8652:200y({E}) {E}d. 3},
organization = {Ada Europe},
year = {2006}
}
@Article{BuDo03,
author = {Burns, A. and Dobbing, B.},
title = {The {R}avenscar {P}rofile for Real--Time and High Integrity Systems},
journal = {Cross{T}alk},
year = {2003},
volume = {16},
number = {11},
pages = {9-12}
}
@InProceedings{PeDa04,
author = {Peleska, J. and Große, D. and Haxthausen, A. E. and Drechsler, R.},
title = {Automated Verification for Train Control Systems},
booktitle = {Proc. of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)},
year = {2004},
pages = {252-265},
address = {Braunschweig, Germany},
month = {December}
}
@TechReport{BuDoVa03,
author = {Burns, A. and Dobbing, B. and Vardanega, T.},
title = {Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems},
institution = {University of York},
year = {2003},
number = {YCS-2003-348}
}