Mark, a reasoning kit for mobility

DOI10.1023/A:1014530313153zbMATH Open1034.68600MaRDI QIDQ1857293

Laura Semini, S. Semprini, Carlo Montangero, Gian Luigi Ferrari

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

zbMATH Keywords

theorem provingformal methodsmobile computing

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (1)

Multiple-Labelled Transition Systems for nominal calculi and their logics

This page was built for publication: Mark, a reasoning kit for mobility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1857293)