Вы здесь

Extending Statecharts with Temporal Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.216-231.
Библиография: 
Bibliogr.: p.229-231
Номер: 
3
Том: 
24
Карточка: 

Б3.51.

Sowmya A., Ramesh S..

Extending Statecharts with Temporal Logic// IEEE Trans. on Software Engineering-1998, №3.-Vol. 24.-P.216-231.
Bibliogr.: p.229-231

Таблица в старой библиотеке: 
PAP18 683