scientific article; zbMATH DE number 2102721
From MaRDI portal
Publication:4818807
zbMath1046.68604MaRDI QIDQ4818807
Kedar S. Namjoshi, Robert Kurshan
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: