Reference : Partial-Order Methods for Temporal Verification
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/164296
Partial-Order Methods for Temporal Verification
English
Wolper, Pierre mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
Godefroid, Patrice [> > > >]
1993
Proc. CONCUR '93
Springer-Verlag
Lecture Notes in Computer Science, vol. 715
715
233--246
Yes
International
978-3-540-57208-4
4th Intrenational Conference on Concurrency Theory
August 23–26, 1993
Hildesheim
Germany
http://hdl.handle.net/2268/164296

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.