The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Formal device and programming model for a serial interface
The work
| Authors | E. Alkassar; M. Hillebrand; S. Knapp; R. Rusev; S. Tverdyshev |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2007 |
| Citekey | alkassar2007formal |
Where it appeared
| Published in | Proceedings, 4th International Verification Workshop (VERIFY), Bremen, Germany |
|---|---|
| Publisher | CEUR-WS Workshop Proceedings |
| Pages | 4--20 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-25 15:41 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{alkassar2007formal,
title = {Formal device and programming model for a serial interface},
author = {E. Alkassar and M. Hillebrand and S. Knapp and R. Rusev and S. Tverdyshev},
year = {2007},
booktitle = {Proceedings, 4th International Verification Workshop (VERIFY), Bremen, Germany},
publisher = {CEUR-WS Workshop Proceedings},
pages = {4--20},
}
This record lives at https://refs.drheap.org/alkassar2007formal/ and will keep doing so.