Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Nitsche, U. (1998) Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. Proc. Int. Workshop on Concurrency -- Algorithms and Tools (satellite to the 23rd Int. Symp. on Mathematical Foundations of Computer Science) Fac. of Inf., Masaryk Univ. Report FMIVC-RS-98-06, 160-170.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Brno, Czech Republic |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 250538 |
| Date Deposited: | 04 Aug 1999 |
| Last Modified: | 01 Mar 2012 10:19 |
| Contributors: | Nitsche, U. (Author) |
| Date: | 1998 |
| Additional Information: | Address: Brno, Czech Republic |
| Status: | Published |
| Publisher: | Fac. of Inf., Masaryk Univ. Report FMIVC-RS-98-06 |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250538 |
Actions (login required)
 |
View Item |
