A formal verification of the alternating bit protocol in the calculus of constructions

Bibliographische Detailangaben

1. Verfasser:	Bezem, Marc (VerfasserIn)
Körperschaft:	Filosofisch Instituut Logic Group (Herausgebendes Organ)
Weitere Verfasser:	Groote, Jan Friso (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Utrecht Utrecht University, Department of Philosophy 1993
Schriftenreihe:	Logic group preprint series / Utrecht Research Institute for Philosophy No. 88
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!