Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Introduction by the guest editor - MaRDI portal

Introduction by the guest editor (Q4329552)

From MaRDI portal

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: Introduction by the guest editor

scientific article; zbMATH DE number 1736400

Language	Label	Description	Also known as
English	Introduction by the guest editor	scientific article; zbMATH DE number 1736400

Statements

scholarly article

0 references

Introduction by the guest editor (English)

0 references

Computer Languages

0 references

publication date

18 August 2002

0 references

zbMATH Keywords

Special issue

0 references

Eindhoven (Netherlands)

0 references

Symposium

0 references

Papers

0 references

VFM '99

0 references

Visual formal methods

0 references

MaRDI profile type

0 references

full work available at URL

https://doi.org/10.1016/s0096-0551(01)00012-1

0 references

Recommended article

Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009.

Similarity Score

0.86968696

Recommender Run

Recommender Run 3

0 references

Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009

Similarity Score

0.8692502

Recommender Run

Recommender Run 3

0 references

FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings

Similarity Score

0.83252305

Recommender Run

Recommender Run 3

0 references

Similarity Score

0.81904286

Recommender Run

Recommender Run 3

0 references

Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009.

Similarity Score

0.8172716

Recommender Run

Recommender Run 3

0 references

Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4--6, 2009. Revised selected papers

Similarity Score

0.8166591

Recommender Run

Recommender Run 3

0 references

FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols

Similarity Score

0.81497544

Recommender Run

Recommender Run 3

0 references

Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, NEWLINENovember 29, 2005

Similarity Score

0.81393814

Recommender Run

Recommender Run 3

0 references

Special issue: Selected papers based on the presentations at the first workshop on quantitative formal methods, QFM 2009, as part of the 2nd formal methods world congress, FM 2009, Eindhoven, The Netherlands, November 2--6, 2009

Similarity Score

0.81209177

Recommender Run

Recommender Run 3

0 references

Special issue: Formal methods for components and objects (FMCO). First international symposium, Leiden, The Netherlands, November 5--8, 2002. Selected papers.

Similarity Score

0.80931294

Recommender Run

Recommender Run 3

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/S0096-0551(01)00012-1

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4329552

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q4329552&oldid=41133753"