Weakest Congruence Results Concerning "Any-Lock"
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 2001, Proceedings |
| Toimittajat | N. Kobayashi |
| Kustantaja | Springer |
| Sivut | 400-419 |
| Tila | Julkaistu - 2001 |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |