Opis

• Tytuł:
  SAT-based searching for k-quasi-optimal runs in weighted timed automata
• Twórca:
  Woźna-Szcześniak, Bożena;
  Zbrzezny, Andrzej
• Opis:
  Cz. 15;
  Matematyka;
  Prace Naukowe Akademii im. Jana Długosza w Częstochowie;
  s. 163-176
• Dostępność obiektu:
  Dostęp otwarty
• Typ:
  artykuł
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Akademii im. Jana Długosza w Częstochowie
• Identyfikator:
  ISBN 978-83-7455-161-8;
  ISSN 1896-0286
• Dostawca danych:
  Biblioteka Cyfrowa AJD
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy