Xiasong Lu

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

1 Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398

1997
1		Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398

Coauthor Index

1 Fumiaki Kanezashi [1]

2 Atsushi Togashi [1]