scientific article; zbMATH DE number 1258883
From MaRDI portal
Publication:4229232
zbMath0930.68087MaRDI QIDQ4229232
No author found.
Publication date: 8 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
B methodrefinementminimum spanning treeRefinementabstract machinesprogram developmentProgram developmentdistributed load balancingproduction celldistributed electronic mail system
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (6)
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Query-driven verification of data integration in the RDF data model ⋮ Verification-Led Smart Contracts ⋮ Action systems in incremental and aspect-oriented modeling ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
Uses Software
This page was built for publication:
