UL Website
|
Imprint
|
Privacy Policy
|
Print
|
Home
Browse
Fulltexts
University bibliography
Statistics
About MADOC
Help
Contact
Login
Advanced Search
Back to overview
Export results as
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core Extended for FP7 projects
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Citation
Order by:
Document Type
|
Year of publication
|
No order
Skip to:
Conference or workshop publication
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