scientific article; zbMATH DE number 1927565

zbMATH Open1012.68132MaRDI QIDQ4484490

Beata Konikowska, Wojciech Penczek

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210226.htm

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Recommendations

• On the Model Checking Problem for Some Extension of CTL* 👍 👎
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty 👍 👎
• Logic Programming 👍 👎
• CONCUR 2003 - Concurrency Theory 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4484490)