You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Select search scope: search across all journals or within the current journal

Search this journal

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

On the Power of Compositional Proofs for Nets: Relationships Between Completenesess and Modularity

Fundamenta Informaticae

Impact Factor: 0.4 / 5-Year Impact Factor: 0.8

Journal Homepage Submission guidelines

Restricted access

Research article

First published online April, 1997

On the Power of Compositional Proofs for Nets: Relationships Between Completenesess and Modularity

Volume 30, Issue 1

https://doi.org/10.3233/FI-1997-30106

Abstract

Get full access to this article

View all access options for this article.

Browse journal

Current issue OnlineFirst All issues

Similar articles

Available access

Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper

Available access

Friction Testing of Tack Coat Surfaces

Retricted access

Third Report of the Welding Research Committee

Available access

A proposal for a survey-oriented metainformation system