Quantitative and qualitative extensions of event structures /

Bibliographic Details
Main Author: Katoen, Joost-Pieter, 1964-
Format: Book
Published: Enschede, Netherlands : Centre for Telematics and Information Technology, 1996.
Series:CTIT Ph D-thesis series ; 96-09
Subjects: