| changeset 82 | 14b12b5de6d3 |
| parent 74 | 2335fcb96052 |
| child 101 | d3fe0597080a |
| 81:dc879cb59c9c | 82:14b12b5de6d3 |
|---|---|
47 issue = {4}, |
47 issue = {4}, |
48 year = {1964}, |
48 year = {1964}, |
49 pages = {481--494}, |
49 pages = {481--494}, |
50 publisher = {ACM} |
50 publisher = {ACM} |
51 } |
51 } |
52 |
|
53 @inproceedings{Nipkow98, |
|
54 author={T.~Nipkow}, |
|
55 title={{V}erified {L}exical {A}nalysis}, |
|
56 booktitle={Theorem Proving in Higher Order Logics}, |
|
57 series=LNCS, |
|
58 volume=1479, |
|
59 pages={1--15}, |
|
60 year=1998 |
|
61 } |