Model Reduction of Modules for State-Event Temporal Logics Conferences

authors

• Lawford, Mark
• Ostroff, JS
• Wonham, WM

status

• published 

publication date

• 1996

has subject area

• 0806 Information Systems (FoR)

published in

• IFIP Advances in Information and Communication Technology  Journal

keywords

• 46 Information and Computing Sciences

Digital Object Identifier (DOI)

• 10.1007/978-0-387-35079-0_16

International Standard Book Number (ISBN) 10

• 0-412-79490-X

International Standard Book Number (ISBN) 13

• 9781504128834

start page

• 263

end page

• 278

volume

• 69