Formal Methods in the Development of PREMO. Duke, D. J.; Duce, D. A.; Herman, I.; ten Hagen, P. J.; and Reynolds, G. J. Computer Standards & Interfaces, 16:491--509, 1995.
Formal Methods in the Development of PREMO [link]Paper  bibtex   
@article{Duke1995,
author = {Duke, David J. and Duce, David A. and Herman, Ivan and ten Hagen, Paul J.W. and Reynolds, Graham J.},
journal = {Computer Standards \& Interfaces},
keywords = {multimedia,standards},
mendeley-tags = {multimedia,standards},
pages = {491--509},
title = {{Formal Methods in the Development of PREMO}},
url = {ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z},
volume = {16},
year = {1995}
}
Downloads: 0