Modelling business rules in an office environment
ACM SIGOIS Bulletin - Special issue on information system design support tools
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |