| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Logic in Computer Science |
| ISSN | 1043-6871 |
| Status | Udgivet - 1990 |
Equation Solving Using Modal Transition Systems
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
131
Citationer
(Scopus)