scientific article; zbMATH DE number 1954194
From MaRDI portal
Publication:4415231
zbMath1032.68758MaRDI QIDQ4415231
Guido Governatori, Abdul Sattar, Vineet Padmanabhan
Publication date: 28 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2557/25570723.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.