Analysis tools for Estelle specifications
Piotr Łukasz Roliński , Jacek Wytrębowicz
|Publication size in sheets||0.7|
|Book||Estelle'98, Proceedings of the 1st International Workshop on the Formal Description Technique Estelle, 1998|
|Citation count*||6 (2018-07-19)|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.