MPG.eBooks - Search Results - ((its annual) or (7th annual))

Search alternatives:
its annual » ams annual , 8th annual , 4th annual
7th annual » 17th annual , 27th annual , 37th annual

Cover Image

1

Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Technique for Checking LTL?X Properties of Petri Nets -- Technical Session 7. Requirements and QoS...”