Formalizing process algebraic verifications in the calculus of constructions
In: Formal Aspects of Computing, Jg. 9 (1997), Heft 1, S. 1
Online
academicJournal
Zugriff:
Titel: |
Formalizing process algebraic verifications in the calculus of constructions
|
---|---|
Autor/in / Beteiligte Person: | Bezem, Marc ; Bol, Roland ; Groote, Jan Friso |
Link: | |
Zeitschrift: | Formal Aspects of Computing, Jg. 9 (1997), Heft 1, S. 1 |
Veröffentlichung: | 1997 |
Medientyp: | academicJournal |
ISSN: | 0934-5043 (print) |
Sonstiges: |
|