![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 11
Volume 11, Number 1, July 1997
- Bernd Becker
, Rolf Drechsler, Michael Theobald:
On the Expressive Power of OKFDDs. 5-21 - Robert H. Sloan, Ugo A. Buy:
Stubborn Sets for Real-Time Petri Nets. 23-40 - Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee:
Joint Minimization of Code and Data for Synchronous Dataflow Programs. 41-70 - Bishop Brock, Warren A. Hunt Jr.:
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. 71-104
Volume 11, Number 2, August 1997
- Costas Courcoubetis:
Introduction to the Special Issue on Computer-Aided Verification (CAV93). 111-112 - Mihalis Yannakakis, David Lee:
An Efficient Algorithm for Minimizing Real-Time Transition Systems. 113-136 - Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems. 137-155 - Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff:
Verification of Real-Time Systems using Linear Relation Analysis. 157-185 - Tomohiro Yoneda, Bernd-Holger Schlingloff
:
Efficient Verification of Parallel Real-Time Systems. 187-215
Volume 11, Number 3, October 1997
- Christoph Meinel, Anna Slobodová:
A Unifying Theoretical Background for Some Bdd-based Data Structures. 223-237 - Robin Sharp, Ole Rasmussen:
The T-Ruby Design System. 239-264 - Henrik Hulgaard, Steven M. Burns:
Bounded Delay Timing Analysis of a Class of CSP Programs. 265-294
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.