Request file

Review/Citation:  ŠIMKO, V., HAUZAR, D., BUREŠ, Tomáš, HNĚTYNKA, P., PLÁŠIL, František. Verifying Temporal Properties of Use-Cases in Natural Language. In: ARBAB, F., ÖLVECZKY, P.C., eds. Formal Aspects of Component Software. Berlin: Springer, 2012, s. 350-367. Lecture Notes in Computer Science, 7253. ISBN 978-3-642-35742-8. ISSN 0302-9743
Requested document:  a0369573.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.