|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Sturm, Thomas |
| Title | Reasoning over Networks by Symbolic Methods |
| Journal | Applicable Algebra in Engineering Communication and Computing |
| Volume | 10 |
| Number | 1 |
| Pages | 79-96 |
| Month | Sep |
| Year | 1999 |
| Pubtype | Journal |
| Doi | 10.1007/s002000050123 |
| Preprint | Sturm_97 |
| Fileid | Sturm_99 |
| Name | Sturm |
| Pdffile | http://link.springer.de/link/service/journals/00200/papers/9010001/90100079.pdf |
| Status | redlog application |
| Xtitle | Reasoning over Networks by Symbolic Methods |
| Author | Sturm, Thomas |
| Title | Reasoning over Networks by Symbolic Methods |
| Type | Technical Report |
| Number | MIP-9719 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | Dec |
| Year | 1997 |
| Pubtype | TechReport |
| Publication | Sturm_99 |
| Fileid | Sturm_97 |
| Name | Sturm |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9719.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9719.ps.Z |
| Status | redlog application |
| Xtitle | Reasoning over Networks by Symbolic Methods (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |