Items where Author is "A.Manaf, Nurulhuda"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.

Conference or Workshop Item

A.Manaf, Nurulhuda and Zainal Abidin, Nor Najihah and Jamaludin, Nur Amalina (2021) Correctness of automatically generated choreography specifications. In: Declarative Ai 2021: The 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021), 13 - 15 September 2021, Kennedy Commons, Stanford (via virtual conference). (Submitted)

This list was generated on Wed Dec 11 13:54:04 2024 +08.