equal
deleted
inserted
replaced
144 author = {J.~Sakarovitch}, |
144 author = {J.~Sakarovitch}, |
145 title = {{E}lements of {A}utomata {T}heory}, |
145 title = {{E}lements of {A}utomata {T}heory}, |
146 publisher = {Cambridge University Press}, |
146 publisher = {Cambridge University Press}, |
147 year = {2009} |
147 year = {2009} |
148 } |
148 } |
|
149 |
|
150 @inproceedings{WuZhangUrban11, |
|
151 author = {C.~Wu and X.~Zhang and C.~Urban}, |
|
152 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
|
153 booktitle = {Proc.~of the 2nd 1st Conference on Interactive Theorem Proving}, |
|
154 year = {2011}, |
|
155 pages = {???}, |
|
156 series = {LNCS}, |
|
157 volume = {???} |
|
158 } |