| DaftarIsitemplate |
| Call Number |
| SEM-042 |
| Title |
| Continuing education center ASIAN Institute of technology 6-16 December 1988 verification of concurrent programs: the temporal framework 6-16 December, 1988/ Zohar Manna; Amir Pnuel I |
| Author |
| Publisher |
| Bangkok: Third Asian School on Computer Science |
| Subject |
| Location |