Contribution to AMAST Links

• Subject: Contribution to AMAST Links
• From: Joost-Pieter Katoen <katoen@cs.utwente.nl>
• Date: Mon, 22 Apr 1996 16:43:06 +0200
• Organisation: U. Twente, Dept of CS, Box 217, 7500 AE Enschede, Netherlands
• Sender: katoen@cs.utwente.nl

Dear Amast Links redaction,

I would like to contribute the following announcement to the AMAST
Links:

=======================================================================

  Quantitative and Qualitative Extensions of Event Structures
                     Joost-Pieter Katoen

  This PhD thesis (320 pp) is now available as a Postscript file from 
URL: http://wwwtios.cs.utwente.nl/~katoen.  An abstract and table of
content is also available at this homepage.  Hard copies can be obtained
by contacting Joost-Pieter Katoen, University of Twente, Dept. of 
Computing Science, P.O. Box 217, NL-7500 AE Enschede, The Netherlands,
e-mail: katoen@cs.utwente.nl.


    ___             
 __/   \__________  Joost-Pieter Katoen             <katoen@cs.utwente.nl>
|  \___/          | University of Twente               fax. +31 53 4893247
|___     __   ___ | Dept. of Computing Science         tel. +31 53 4893703
| |  |  /  \ (__  | Tele-Informatics & Open Systems 
| |  |  \__/____) | P.O. Box 217    NL-7500 AE Enschede    The Netherlands
|_________________| http://wwwtios.cs.utwente.nl/~katoen/

• Prev: GOEDEL'96 - Conference Programme
• Next: Reminder Infinity Workshop
• Index: AMAST Mail 1996