Using optimal simulations to reduce reachability graphs Journal Articles

authors

• Janicki, Ryszard
• Koutny, Maciej

status

• published 

publication date

• January 1, 1991

has subject area

• Artificial Intelligence & Image Processing (Science Metrix)

published in

• Lecture Notes in Computer Science  Journal

keywords

• AUTOMATIC VERIFICATION
• Computer Science
• Computer Science, Software Engineering
• Computer Science, Theory & Methods
• STATE CONCURRENT SYSTEMS
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1007/bfb0023730

start page

• 166

end page

• 175

volume

• 531