Skip to search formSkip to main contentSkip to account menu

Maria (reachability analyzer)

Known as: Maria 
Maria: The Modular Reachability Analyzer is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Petri netReachability

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Maria Rosaria Corvino
2013
2013
Nava Gabrio Maria
2013
2013
MOURA, Margarida Maria. CAMPONESES. 2. ed. São Paulo: Ática, 1988.
O livro “Camponeses” da autora Margarida Maria Moura traz uma reflexao sobre as diferentes definicoes de campones, as suas… 
2013
2013
Ponti Pasolini Maria
2012
2012
Re-discovering Vrouw Maria
2010
2010
Sinistrari, Ludovico Maria
2009
2009
CARVALHO, Margarida Maria; LOPES, Maria Aparecida de S. e FRANÇA, Susani Silveira Lemos (Orgs.). As cidades no tempo. Franca/São Paulo: UNESP/Olho d’Água, 2005. 323 p.
2009
2009
Laudi alla Vergine Maria
Sur un texte de Dante Alighieri extrait de "La divine comedie" ("Paradiso"). - Date de composition : ca 1890. - 1re execution… 
2008
2008
Investigating English with Corpora. Studies in Honour of Maria Teresa Prat
1979
1979
A Grammar of Dandami Maria
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)