Further processing options
Peac – A set of tools to quickly enable Proof on a cluster
Saved in:
Journal Title: | Journal of Physics: Conference Series |
---|---|
Authors and Corporations: | , |
In: | Journal of Physics: Conference Series, 396, 2012, 3, p. 032044 |
Type of Resource: | E-Article |
Language: | Undetermined |
published: |
IOP Publishing
|
Subjects: |