Nanci N. Arai

Identifiers

• name variant Nanci N. Arai 0.60 · backfill

Papers (1)

1. A topological formal treatment for scenario-based software specification of concurrent real-time systems cs.SE · 2008 · author #3

Mentions

• 0802.0212 #3 · backfill · confidence 0.70 Nanci N. Arai

Frequent Coauthors

• Brazil) 1 shared papers
• Christine C. Dantas 1 shared papers
• Miriam C. B. Alves 1 shared papers
• Rovedy B. da Silva (Institute of Aeronautics 1 shared papers
• Space - IAE/CTA 1 shared papers