Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Interface synthesis: a vertical slice from digital logic to software components
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Hi-index | 0.00 |