Publications

Simulation Under Arbitrary Temporal Logic Constraints

AuthID
P-00R-QSE

Author(s)

Brunel, J

Chemouil, D

Cunha, A

Macedo, N

Editor(s)

Rosemary Monahan; Virgile Prevosto; José Proença

Document Type

Proceedings Paper

Year published

2019

Published

in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. in EPTCS, ISSN: 2075-2180

Volume: 310, Pages: 63-69

Conference

5Th Workshop on Formal Integrated Development Environment, F-Ide 2019, Date: 7 October 2019

Indexing

Scopus^®

Dblp^®/en/publications/view/810798

Crossref^®2

Arxiv^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.4204/eptcs.310.7

Arxiv: 1912.10634

DBLP: journals/corr/abs-1912-10634

SCOPUS: 2-s2.0-85079290108

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Simulation Under Arbitrary Temporal Logic Constraints

Useful Links

Get Help

Federated Authentication (Click on the image)

Simulation Under Arbitrary Temporal Logic Constraints

Useful Links

Get Help