Last update: Thu Apr 12 03:37:15 MDT 2012
@Article{Goldsack:1996:ADD,
author = "S. J. Goldsack and K. Lano and E. H. D{\"u}rr",
title = "Annealing and data decomposition in {VDM$^{++}$}",
journal = j-SIGPLAN,
volume = "31",
number = "4",
pages = "32--38",
month = apr,
year = "1996",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:17:17 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
affiliation = "Imperial Coll. of Sci., Technol. and Med., London,
UK",
}