Pages that link to "Item:Q643151"

From MaRDI portal

← Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings (Q643151)

Jump to:navigation, search

The following pages link to Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings (Q643151):

Displaying 1 item.

Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"