Ghent University Academic Bibliography

Advanced

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

Pieter Audenaert UGent and Albert Hoogewijs UGent (2001) Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51.
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle
publication status
published
subject
journal title
Collegium Logicum, Annals of the Kurt-Godel-Society, 4, 2001, 51
language
English
UGent publication?
yes
classification
A2
id
137341
handle
http://hdl.handle.net/1854/LU-137341
date created
2004-01-14 13:37:00
date last changed
2016-12-19 15:38:34
@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},
}

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.