Title of article :
Process Behaviour: Formulae versus Tests
Issue Information :
روزنامه با شماره پیاپی سال 2010
Journal title :
Electronic Proceedings in Theoretical Computer Science
Journal title :
Electronic Proceedings in Theoretical Computer Science