Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1007/3-540-...

Part of book or chapter of book . 2002 . Peer-reviewed

Data sources: Crossref

https://link.springer.com/chap...

Article

Data sources: Microsoft Academic Graph

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Reducing Model Checking from Multi-valued CTL* to CTL*

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article 01 Jan 2002Publisher:Springer Berlin Heidelberg

Authors: Beata Konikowska; Wojciech Penczek;

doi: 10.1007/3-540-45694-5_16

Reducing Model Checking from Multi-valued CTL* to CTL*

- Summary
- Metrics

Abstract

A multi-valued version of CTL* (mv-CTL*), where both the propositions and the accessibility relation are multi-valued taking values in a finite quasi-boolean algebra, is considered. A general translation from mv-CTL* to CTL* model checking is defined. An application of the translation is shown for the most commonly used quasi-boolean algebras.

Related Organizations

Polish Academy of Sciences
Poland
Institute of Computer Science
Poland

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	14
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%

Found an issue? Give us feedback

Average

Top 10%

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!