scientific article
From MaRDI portal
Publication:2753774
zbMath0976.68568MaRDI QIDQ2753774
Publication date: 6 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (2)
Effect-polymorphic behaviour inference for deadlock checking ⋮ Runtime Verification: Passing on the Baton
This page was built for publication: