Mark, a reasoning kit for mobility
type: Item
instance of: scholarly article
title: Mark, a reasoning kit for mobility
zbMATH Open document ID: 1034.68600
DOI: 10.1023/A:1014530313153
author: Carlo Montangero
author: Laura Semini
author: S. Semprini
author: Gian Luigi Ferrari
published in: Automated Software Engineering
publication date: 2003-02-17T00:00:00Z
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1870093
zbMATH Keywords: formal methods
zbMATH Keywords: mobile computing
zbMATH Keywords: theorem proving
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1870093