scientific article; zbMATH DE number 1542048

zbMATH Open0963.68146MaRDI QIDQ4520106FDOQ4520106

Authors: Helmut Eirund, Gerlinde Schreiber, Bernd Müller 

Publication date: 11 December 2000

Title of this publication is not available (Why is that?)

Recommendations

• Formal methods in computer science
• scientific article; zbMATH DE number 1380218
• Formal methods in computing
• scientific article; zbMATH DE number 1497767
• Formal methods: practical applications and foundations. Editorial
• Concise guide to formal methods. Theory, fundamentals and industry applications

zbMATH Keywords

formal languagesPetre nets

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of computing (68Q99)

Cited In (4)

• Formal Methods: State of the Art and New Directions
• Modellbildung in der Informatik
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

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