On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |