Found an issue? Give us feedback

Link to

shareShare

uploadDeposit

codeEmbed

downloadDownload

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=aka_________::ce0bf8c7516c8e3949fa3307c33153cf&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Symbolic and partial order methods for verification

assignment_turned_inproject11 Apr 2003(Started)-31 Dec 2004(Ended)Closed

Funder: Research Council of FinlandProject code: 205089 Call for proposal: Grants for researcher training and research work abroad LT

Funder Contribution: 10,800 EUR

Symbolic and partial order methods for verification

- Summary
- DMPs

Partners

University of Stuttgart

Data Management Plans

Start a new DMP in Argos

Found an issue? Give us feedback

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=aka_________::ce0bf8c7516c8e3949fa3307c33153cf&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Symbolic and partial order methods for verification

Symbolic and partial order methods for verification

Loading