Towards Lightweight Formal Development of MPI Applications

Bibliographische Detailangaben

Veröffentlicht in:	CPA (37. : 2015 : Canterbury) Communicating process architectures 2015 & 2016
1. Verfasser:	Rosa, Nelson S. (VerfasserIn)
Weitere Verfasser:	Wagner, Alan (VerfasserIn), Kamal, Humaira (VerfasserIn)
Pages:	2015
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2016
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!