|
Search the dblp DataBase
Reza Rafeh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
The Modelling Language Zinc. [Citation Graph (0, 0)][DBLP] CP, 2006, pp:700-705 [Conf]
- Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace
From Zinc to Design Model. [Citation Graph (0, 0)][DBLP] PADL, 2007, pp:215-229 [Conf]
Adding Search to Zinc. [Citation Graph (, )][DBLP]
Towards Automated Software Verification Using Model Checking Techniques. [Citation Graph (, )][DBLP]
Modeling Fault Tolerant Services in Service-Oriented Architecture. [Citation Graph (, )][DBLP]
The Design of the Zinc Modelling Language. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|