Browse by Journal
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Bryans, Jeremy W., Derrick, John (1999) Stochastic specification and verification. In: 3rd Irish Workshop in Formal Methods. Electronic Workshops in Computing . Springer (KAR id:21797) |