|
1 @Book{db:dom-eng, |
|
2 author = {Bj{\o}rner, Dines}, |
|
3 title = {Domain Engineering. Technology Management, Research and Engineering}, |
|
4 publisher = {JAIST Press}, |
|
5 year = {2009}, |
|
6 month = {Feb}, |
|
7 series = {COE Research Monograph Series}, |
|
8 volume = {4}, |
|
9 address = {Nomi, Japan} |
|
10 } |
|
11 |
|
12 @INPROCEEDINGS{Hansen94b, |
|
13 KEY = "Hansen94", |
|
14 AUTHOR = "Kirsten Mark Hansen", |
|
15 EDITOR = "M. Naftalin, T. Denvir, M. Bertran", |
|
16 TITLE = "Validation of a Railway Interlocking Model", |
|
17 BOOKTITLE = "FME'94: Industrial Benefit of Formal Methods", |
|
18 PUBLISHER = "Springer-Verlag", |
|
19 YEAR = "1994", |
|
20 MONTH = "October", |
|
21 PAGES = "582-601", |
|
22 ANNOTE = "", |
|
23 COMMENT = "PGL has got the proceedings. ADN" |
|
24 } |
|
25 |
|
26 @INPROCEEDINGS{Dehbonei&94, |
|
27 KEY = "Dehbonei\&94", |
|
28 AUTHOR = "Dehbonei, Babak and Mejia, Fernando", |
|
29 EDITOR = "M. Naftalin, T. Denvir, M. Bertran", |
|
30 TITLE = "Formal Methods in the Railways Signalling Industry", |
|
31 BOOKTITLE = "FME'94:Industrial Benefit of Formal Methods", |
|
32 PUBLISHER = "Springer-Verlag", |
|
33 YEAR = "1994", |
|
34 MONTH = "October", |
|
35 PAGES = "26-34", |
|
36 ANNOTE = "", |
|
37 COMMENT = "Peter has got the proceedings. ADN" |
|
38 } |
|
39 |
|
40 @Book{db:SW-engIII, |
|
41 author = {Bj{\o}rner, Dines}, |
|
42 title = {Software Engineering}, |
|
43 publisher = {Springer}, |
|
44 year = {2006}, |
|
45 volume = {3}, |
|
46 series = {Texts in Theoretical Computer Science}, |
|
47 address = {Berlin, Heidelberg} |
|
48 } |
|
49 |
1 @Book{pl:milner97, |
50 @Book{pl:milner97, |
2 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen}, |
51 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen}, |
3 title = {The Definition of Standard ML (Revised)}, |
52 title = {The Definition of Standard ML (Revised)}, |
4 publisher = {The MIT Press}, |
53 publisher = {The MIT Press}, |
5 year = 1997, |
54 year = 1997, |
282 Title = {Table of common Z-transform pairs}, |
331 Title = {Table of common Z-transform pairs}, |
283 year = {2012}, |
332 year = {2012}, |
284 url = {http://en.wikipedia.org/wiki/Z-transform#Table_of_common_Z-transform_pairs}, |
333 url = {http://en.wikipedia.org/wiki/Z-transform#Table_of_common_Z-transform_pairs}, |
285 note = {[Online; accessed 31-Oct-2012]} |
334 note = {[Online; accessed 31-Oct-2012]} |
286 } |
335 } |
|
336 |
|
337 @InProceedings{kremp.np:assess, |
|
338 author = {Krempler, Alan and Neuper, Walther}, |
|
339 title = {Formative Assessment for User Guidance in Single Stepping Systems}, |
|
340 booktitle = {Interactive Computer Aided Learning, Proceedings of ICL08}, |
|
341 year = {2008}, |
|
342 editor = {Aucher, Michael E.}, |
|
343 address = {Villach, Austria} %, |
|
344 %note = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/icl08.pdf} |
|
345 } |
|
346 |