Repository: Freie Universität Berlin, Math Department

Browse by Authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 1997
Number of items: 1.

1997

Block, M. and Gröpl, C. and Preuss, H. and Prömel, H. J. and Srivastav, A. (1997) Efficient ordering of state variables and transition relation partitions in symbolic model checking. Technical Report. UNSPECIFIED.

This list was generated on Tue Sep 26 22:04:07 2017 CEST.