scientific article; zbMATH DE number 7319046
From MaRDI portal
Publication:4965871
zbMath1457.68171arXiv1111.3111MaRDI QIDQ4965871
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1111.3111
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication:
