Reasoning aubout durations in metric logic
| Autor: | Lakhneche, Y., Hooman, J.J.M., Langmaack, H., Roever, de, W.P., Vytopil, J. |
|---|---|
| Přispěvatelé: | Algorithms, Geometry and Applications |
| Jazyk: | angličtina |
| Rok vydání: | 1994 |
| Zdroj: | Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994), 488-510 STARTPAGE=488;ENDPAGE=510;TITLE=Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|