| Publication Type | Conference Paper | |
| Author | ||
| Year of Publication | 2009 | |
| Editors | , | |
| Proceedings Title | Proceedings of the 4th Workshop on Automated Formal Methods (AFM'09) | |
| Pages | 23-30 | |
| Keywords | heun-group | |
| Conference Date/Location | Grenoble, France, June 27, 2009 | |
| Citation Key | bioinflmu-862 | |
| Document visibility | Global publication list | |
| URL1 | ||
| Export | BibTex |
Breadcrumb Navigation
Main Navigation
Content
Automatic Synthesis of an Efficient Algorithm for the Similarity of Strings Problem
Service Menu
Information for