A Two-Level Approach for Modeling and Verification of Telecommunication Systems

@inproceedings{Beloglazov2009ATA,
  title={A Two-Level Approach for Modeling and Verification of Telecommunication Systems},
  author={Dmitri M. Beloglazov and Valery A. Nepomniaschy},
  booktitle={Ershov Memorial Conference},
  year={2009}
}

Similar Papers

Loading similar papers…