Adding browsing semantics to the hypertext model
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Predictable real-time software synthesis
Real-Time Systems
| Hi-index | 0.00 |