Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0


Order by: Document Type | Year of publication | No order
Number of items: 1.

Conference or workshop publication

Majster-Cederbaum, Mila ; Salger, Frank A Verification Technique Based on Syntactic Action Refinement in a TCSP-Process-Algebra and the Hennessy Milner Logic. Thiagarajan, Pazhamaneri S. Lecture Notes in Computer Science 1742 379-380 In: Advances in computing science - ASIAN '99 : proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 (1999) Berlin [u.a.] [Conference or workshop publication]

This list was created automatically on Tue Jan 31 05:02:58 2023 CET