scientific article
From MaRDI portal
Publication:2709229
zbMath0963.68215MaRDI QIDQ2709229
Gabor Karsai, Akos Ledeczi, Janos Sztipanovits, Greg Nordstrom
Publication date: 10 May 2001
Full work available at URL: http://www.jucs.org/jucs_6_11/towards_two_level_formal
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
This page was built for publication: