equal
deleted
inserted
replaced
1 |
1 |
2 |
2 @incollection{myhillnerodeafp11, |
|
3 author = {C.~Wu and X.~Zhang and C.~Urban}, |
|
4 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
|
5 booktitle = {The Archive of Formal Proofs}, |
|
6 editor = {G.~Klein and T.~Nipkow and L.~Paulson}, |
|
7 publisher = {\url{http://afp.sf.net/entries/Myhill-Nerode.shtml}}, |
|
8 month = Aug, |
|
9 year = 2011, |
|
10 note = {Formal proof development}, |
|
11 ISSN = {2150-914x} |
|
12 } |
3 |
13 |
4 @PhdThesis{Haftmann09, |
14 @PhdThesis{Haftmann09, |
5 author = {F.~Haftmann}, |
15 author = {F.~Haftmann}, |
6 title = {{C}ode {G}eneration from {S}pecifications in {H}igher-{O}rder {L}ogic}, |
16 title = {{C}ode {G}eneration from {S}pecifications in {H}igher-{O}rder {L}ogic}, |
7 school = {Technical University of Munich}, |
17 school = {Technical University of Munich}, |
60 title = {{A}utomata and {C}omputability}, |
70 title = {{A}utomata and {C}omputability}, |
61 publisher = {Springer Verlag}, |
71 publisher = {Springer Verlag}, |
62 year = {1997} |
72 year = {1997} |
63 } |
73 } |
64 |
74 |
|
75 |
|
76 |
|
77 @InProceedings{Almeidaetal10, |
|
78 author = {J.~B.~Almeida and N.~Moriera and D.~Pereira and S.~M.~de Sousa}, |
|
79 title = {{P}artial {D}erivative {A}utomata {F}ormalized in {C}oq}, |
|
80 booktitle = {Proc.~of the 15th International Conference on Implementation |
|
81 and Application of Automata}, |
|
82 pages = {59-68}, |
|
83 year = {2010}, |
|
84 volume = {6482}, |
|
85 series = {LNCS} |
|
86 } |
65 |
87 |
66 @incollection{Constable00, |
88 @incollection{Constable00, |
67 author = {R.~L.~Constable and |
89 author = {R.~L.~Constable and |
68 P.~B.~Jackson and |
90 P.~B.~Jackson and |
69 P.~Naumov and |
91 P.~Naumov and |