Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
4 results · clear filters Sort: newest oldest name
- Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004Computer and information sciencese120h35
- AMAST Workshop on Real-Time Systems (ARTS) (ARTS)Computer and information sciencess10chr4
- Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings (ARTS)Computer and information sciencese10rcf3
- Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings (ARTS)Computer and information sciencese10rce5