Advanced search

A PVS-Proof for a Memory Modeling Problem is a Proof!

Pieter Audenaert (UGent) and Albert Hoogewijs (UGent)
Author
Organization

Citation

Please use this url to cite or link to this publication:

Chicago
Audenaert, Pieter, and Albert Hoogewijs. 2001. “A PVS-Proof for a Memory Modeling Problem Is a Proof!” Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51.
APA
Audenaert, P., & Hoogewijs, A. (2001). A PVS-Proof for a Memory Modeling Problem is a Proof! Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51.
Vancouver
1.
Audenaert P, Hoogewijs A. A PVS-Proof for a Memory Modeling Problem is a Proof! Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51. 2001;
MLA
Audenaert, Pieter, and Albert Hoogewijs. “A PVS-Proof for a Memory Modeling Problem Is a Proof!” Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51 (2001): n. pag. Print.
@article{137341,
  author       = {Audenaert, Pieter and Hoogewijs, Albert},
  journal      = {Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51},
  language     = {eng},
  title        = {A PVS-Proof for a Memory Modeling Problem is a Proof!},
  year         = {2001},
}