A Pre-congruence Format for XY-simulations

Reference

Harsh Beohar and Mohammad Mousavi. A Pre-congruence Format for XY-simulations. In The 6th International Conference on Fundamentals of Software Engineering, LNCS, Tehran, Iran, March 2015. Springer Verlag.

Suggested BibTeX entry:

@inproceedings{fsen:2015,
    address = {Tehran, Iran},
    author = {Harsh Beohar and Mohammad Mousavi},
    booktitle = {The 6th International Conference on Fundamentals of Software Engineering},
    month = {March},
    publisher = {Springer Verlag},
    series = {LNCS},
    title = {A {P}re-congruence {F}ormat for {XY}-simulations},
    year = {2015}
}



This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group