Eintrag weiter verarbeiten
Peac – A set of tools to quickly enable Proof on a cluster
Gespeichert in:
Zeitschriftentitel: | Journal of Physics: Conference Series |
---|---|
Personen und Körperschaften: | , |
In: | Journal of Physics: Conference Series, 396, 2012, 3, S. 032044 |
Format: | E-Article |
Sprache: | Unbestimmt |
veröffentlicht: |
IOP Publishing
|
Schlagwörter: |
Umfang: | 032044 |
---|---|
ISSN: |
1742-6588
1742-6596 |
DOI: | 10.1088/1742-6596/396/3/032044 |